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

06/29/2018 ∙ by Jan Křetínský, et al. ∙ 0

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

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

References

  • [Pnu77] Amir Pnueli. The temporal logic of programs. In FOCS, pages 46–57. IEEE, 1977.
  • [spe] Spec Patterns: Property pattern mappings for LTL. Available at http://patterns.projects.cis.ksu.edu/documentation/patterns/ltl.shtml.
  • [TTCC11] Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, and Yi-Wen Chang. Büchi store: An open repository of büchi automata. In TACAS, volume 6605 of Lecture Notes in Computer Science, pages 262–266. Springer, 2011.
  • [VW86] Moshe Y. Vardi and Pierre Wolper. An automata-theoretic approach to automatic program verification (preliminary report). In LICS, pages 332–344, 1986.