The following pages link to KRATOS (Q19825):
Displayed 9 items.
- Facilitating the design of fault tolerance in transaction level SystemC programs (Q391252) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- TRACER: A Symbolic Execution Tool for Verification (Q2903126) (← links)
- Software Model Checking with Explicit Scheduler and Symbolic Threads (Q2904614) (← links)
- Playing in the grey area of proofs (Q2942878) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
- Abstraction and Abstraction Refinement (Q3176371) (← links)
- Mind the Gap: Bit-vector Interpolation recast over Linear Integer Arithmetic (Q5039504) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)