A New Approach to Bounded Model Checking for Branching Time Logics

DOI10.1007/978-3-540-75596-8_29zbMath1141.68482OpenAlexW1570254110MaRDI QIDQ3510810

Rotem Oshman, Orna Grumberg

Publication date: 3 July 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75596-8_29

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Linear templates of ACTL formulas with an application to SAT-based verification ⋮ Bounded semantics

Uses Software

• NuSMV

This page was built for publication: A New Approach to Bounded Model Checking for Branching Time Logics