Pages that link to "Item:Q2044196"
From MaRDI portal
The following pages link to Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196):
Displayed 5 items.
- \textsc{Diffy}: inductive reasoning of array programs using difference invariants (Q832320) (← links)
- Counterexample-guided prophecy for model checking modulo the theory of arrays (Q2044196) (← links)
- Universal invariant checking of parametric systems with quantifier-free SMT reasoning (Q2055851) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- Synthesizing history and prophecy variables for symbolic model checking (Q6174405) (← links)