KRATOS
From MaRDI portal
Software:19825
No author found.
Related Items (9)
Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic ⋮ Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays ⋮ TRACER: A Symbolic Execution Tool for Verification ⋮ Software Model Checking with Explicit Scheduler and Symbolic Threads ⋮ Abstraction and Abstraction Refinement ⋮ Playing in the grey area of proofs ⋮ Facilitating the design of fault tolerance in transaction level SystemC programs ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Boosting Lazy Abstraction for SystemC with Partial Order Reduction
This page was built for software: KRATOS