Cited in
(15)- Facilitating the design of fault tolerance in transaction level SystemC programs
- Mind the gap: bit-vector interpolation recast over linear integer arithmetic
- TRACER: a symbolic execution tool for verification
- Software model checking with explicit scheduler and symbolic threads
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- SystemC
- LusSy
- RATSY
- DDVerify
- SAFARI
- Papyrus-RT
- Abstraction and abstraction refinement
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction
- Playing in the grey area of proofs
This page was built for software: KRATOS
