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
- Software model checking with explicit scheduler and symbolic threads
- TRACER: A Symbolic Execution Tool for Verification
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction
- Abstraction and Abstraction Refinement
- Playing in the grey area of proofs
This page was built for software: KRATOS
