KRATOS
From MaRDI portal
Software:19825
swMATH7808MaRDI QIDQ19825FDOQ19825
Author name not available (Why is that?)
Cited In (9)
- 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
- 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
