Intertwined Forward-Backward Reachability Analysis Using Interpolants
From MaRDI portal
Publication:5326333
DOI10.1007/978-3-642-36742-7_22zbMath1381.68184OpenAlexW35008586MaRDI QIDQ5326333
Orna Grumberg, Yakir Vizel, Sharon Shoham
Publication date: 5 August 2013
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-36742-7_22
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Interpolation, preservation, definability (03C40)
Related Items
Combining Model Checking and Data-Flow Analysis, Loop verification with invariants and contracts, Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking, SAT-based invariant inference and its relation to concept learning, Efficient generation of small interpolants in CNF