Scoot: A Tool for the Analysis of SystemC Models
Abstract elided by the publisher.
Related papers
- PSCV: A Runtime Verification Tool for Probabilistic SystemC Models CAV 2016
- Kratos - A Software Model Checker for SystemC CAV 2011
- 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
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001
- Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models SAS 2017
- Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges OOPSLA 2010