A model checker for linear time temporal logic
From MaRDI portal
Publication:1192606
DOI10.1007/BF01212306zbMath0746.68058MaRDI QIDQ1192606
Publication date: 27 September 1992
Published in: Formal Aspects of Computing (Search for Journal in Brave)
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Automata-theoretic techniques for modal logics of programs
- Propositional dynamic logic of regular programs
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Deciding full branching time logic
- Automatic Verification of Sequential Circuits Using Temporal Logic
- The complexity of propositional linear temporal logics