  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.
