Kratos - A Software Model Checker for SystemC
Abstract elided by the publisher.
Related papers
- Scoot: A Tool for the Analysis of SystemC Models TACAS 2008
- PSCV: A Runtime Verification Tool for Probabilistic SystemC Models CAV 2016
- Deductive Verification of Parameterized Embedded Systems Modeled in SystemC VMCAI 2024
- Synthesizing SystemC Code from Delay Hybrid CSP APLAS 2017
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction TACAS 2011
- Yasm: A Software Model-Checker for Verification and Refutation CAV 2006
- Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework CAV 2005
- Zing: A Model Checker for Concurrent Software CAV 2004