LTL Store: Repository of LTL formulae from literature and case studies

This continuously extended technical report collects and compares commonly used formulae from the literature and provides them in a machine readable way.

[1]  Amir Pnueli,et al.  The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[2]  Pierre Wolper,et al.  An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.

[3]  Yih-Kuen Tsay,et al.  Büchi Store: An Open Repository of Büchi Automata , 2011, TACAS.