Modeling and Verification of SC++ Applications
No abstract available.
Related papers
- Verification of MPI Java programs using software model checking PPoPP 2016
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems OOPSLA 2021
- Parameterized Verification of Systems with Global Synchronization and Guards CAV 2020
- Higher-Order Program Verification via HFL Model Checking ESOP 2018
- EVA: a Tool for the Compositional Verification of AUTOSAR Models TACAS 2023
- Leto: verifying application-specific hardware fault tolerance with programmable execution models OOPSLA 2018
- The Quantitative Verification Benchmark Set TACAS 2019