18 citations · 68 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
The VMT-LIB Language and Tools
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
We present VMT-LIB, a language for the representation of verification problems of linear-time temporal properties on infinite-state symbolic transition systems. VMT-LIB is an exten…
cs.FL2021★ 3 cited
Expressiveness of Extended Bounded Response LTL
Alessandro Cimatti, Luca Geatti, Nicola Gigante +2
Extended Bounded Response LTL with Past (LTLEBR+P) is a safety fragment of Linear Temporal Logic with Past (LTL+P) that has been recently introduced in the context of reactive synt…