Synthesizing SystemC Code from Delay Hybrid CSP
No abstract available.
Related papers
- A Calculus for Hybrid CSP APLAS 2010
- Scoot: A Tool for the Analysis of SystemC Models TACAS 2008
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction TACAS 2011
- 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
- Active Objects in Hybrid OOPSLA 1987
- Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language POPL 1987