Verification of a technical system model with linear temporal logic

DOI10.1134/S0005117912090081zbMath1258.93019MaRDI QIDQ1941912

Antonina Nepeivoda

Publication date: 22 March 2013

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

modal logic, linear temporal logic (LTL)verification problem for an electromechanical device

Mathematics Subject Classification ID

Application models in control theory (93C95) Temporal logic (03B44)

Cites Work

• Axioms for tense logic. I: 'Since' and 'until'
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• The complexity of propositional linear temporal logics

This page was built for publication: Verification of a technical system model with linear temporal logic