Abstraction and Refinement in Model Checking

DOI10.1007/11804192_11zbMath1196.68138OpenAlexW2106838744MaRDI QIDQ3591392

Orna Grumberg

Publication date: 11 September 2007

Published in: Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11804192_11

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Abstraction and Abstraction Refinement ⋮ Symbolic Trajectory Evaluation ⋮ Network invariants for real-time systems

This page was built for publication: Abstraction and Refinement in Model Checking