Paper Info
Title
The VMT-LIB Language and Tools.
Abstract
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 extension of the standard SMT-LIB language for SMT solvers, developed with the goal of facilitating the interoperability and exchange of benchmark problems among different verification tools. Besides describing its syntax and semantics, we also present a set of open-source tools to work with the language.
Year
Venue
DocType
2022
International Workshop on Satisfiability Modulo Theories (SMT)
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Alessandro Cimatti15064323.15
Alberto Griggio262436.37
Stefano Tonetta357341.61