Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
No abstract available.
Related papers
- PSCV: A Runtime Verification Tool for Probabilistic SystemC Models CAV 2016
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Automated Parameterized Verification of a Railway Protection System with Dafny CAV 2025
- Scoot: A Tool for the Analysis of SystemC Models TACAS 2008
- Kratos - A Software Model Checker for SystemC CAV 2011
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems) TACAS 2007