The following pages link to (Q5020662):
Displaying 5 items.
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- The \textsc{Golem} Horn solver (Q6535535) (← links)
- Transition power abstractions for deep counterexample detection (Q6535576) (← links)
