Linear Temporal Logic

MaRDI QIDQ7361475FDO

Authors Salomon Sickert, Benedikt Seidl

Publication date 1 March 2016

Cites work

• Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15--19, 2000. Proceedings
• Efficient Büchi automata form LTL formulae
• 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. Proceedings

Cited in

(6)

• Stuttering Equivalence
• LTL_to_DRA
• LTL_to_GBA
• Promela Formalization
• A Compositional and Unified Translation of LTL into ω-Automata
• An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation

This page was built for software: Linear Temporal Logic