Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898630
DOI10.1007/11609773zbMath1176.68121OpenAlexW2496613029MaRDI QIDQ5898630
Arie Gurfinkel, Ou Wei, Marsha Chechik
Publication date: 12 February 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11609773
Related Items (5)
Data structures for symbolic multi-valued model-checking ⋮ On the consistency, expressiveness, and precision of partial modeling formalisms ⋮ Model Checking Recursive Programs with Exact Predicate Abstraction ⋮ 3-valued abstraction: More precision at less cost ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement
Uses Software
This page was built for publication: Verification, Model Checking, and Abstract Interpretation
