FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
The Safety Fragment of LTL

Authors: Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta

Paper Information

Title:The Safety Fragment of LTL
Authors:Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:LTL, Safety, Formal Verification, Automata Theory
Pages:2
Talk:Aug 01 09:50 (Session 29)
Paper: