14 citations · 24 across the 5 of their papers we have counts for
Showing cs.LOShow 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.LO2017★ 6 cited
Linear-time Temporal Logic with Event Freezing Functions
Stefano Tonetta
Formal properties represent a cornerstone of the system-correctness proofs based on formal verification techniques such as model checking. Formalizing requirements into temporal pr…