Pages that link to "Item:Q2226726"
From MaRDI portal
The following pages link to Global guidance for local generalization in model checking (Q2226726):
Displaying 7 items.
- Syntax-guided synthesis for lemma generation in hardware model checking (Q2234081) (← links)
- (Q5020662) (← links)
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays (Q5043584) (← links)
- The \textsc{Golem} Horn solver (Q6535535) (← links)
- Inferring invariants with quantifier alternations: taming the search space explosion (Q6535571) (← links)
- Preface of the special issue on the conference on computer-aided verification 2020 and 2021 (Q6632193) (← links)
- Global guidance for local generalization in model checking (Q6632197) (← links)
