Linear Temporal Logic
From MaRDI portal
- Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15--19, 2000. Proceedings
- Unnamed Publication
- LTL to Büchi automata translation: fast and more deterministic
- Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proce
Cited in
(6)- Promela Formalization
- Converting Linear Temporal Logic to Deterministic (Generalized) Rabin Automata
- A Compositional and Unified Translation of LTL into ω-Automata
- An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation
- Stuttering Equivalence
- Converting Linear-Time Temporal Logic to Generalized Büchi Automata
This page was built for software: Linear Temporal Logic
