Computer Aided Verification
From MaRDI portal
Publication:5900684
DOI10.1007/b11831zbMath1278.68195OpenAlexW1571340194MaRDI QIDQ5900684
Publication date: 20 April 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11831
Games involving graphs (91A43) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Integrating Topological Proofs with Model Checking to Instrument Iterative Design, When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus, Data structures for symbolic multi-valued model-checking, Multi-valued model checking games, Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking, Model Checking Recursive Programs with Exact Predicate Abstraction, Supervisory control for collision avoidance in vehicular networks using discrete event abstractions, 3-valued abstraction: More precision at less cost, Solving games via three-valued abstraction refinement, Better Under-Approximation of Programs by Hiding Variables, TOrPEDO : witnessing model correctness with topological proofs, A framework for compositional verification of multi-valued systems via abstraction-refinement
