The following pages link to (Q5020662):
Displayed 4 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)
- Synthesizing history and prophecy variables for symbolic model checking (Q6174405) (← links)