A model checker for linear time temporal logic

DOI10.1007/BF01212306zbMath0746.68058MaRDI QIDQ1192606

S. Singh

Publication date: 27 September 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

model checkingtemporal logicprogram verification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

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

This page was built for publication: A model checker for linear time temporal logic