Global guidance for local generalization in model checking

DOI10.1007/978-3-030-53291-8_7zbMath1478.68167arXiv2005.13301OpenAlexW3046688479MaRDI QIDQ2226726

Arie Gurfinkel, Sharon Shoham, Hari Govind Vediramana Krishnan, Yu-Ting Chen

Publication date: 9 February 2021

Full work available at URL: https://arxiv.org/abs/2005.13301

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays ⋮ Solving constrained Horn clauses over algebraic data types ⋮ Unnamed Item ⋮ Syntax-guided synthesis for lemma generation in hardware model checking

This page was built for publication: Global guidance for local generalization in model checking