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.

翻译：我们提出VMT-LIB,这是在无限国家象征性过渡系统中反映线性时间特性核查问题的一种语言。 VMT-LIB是SMT解决者标准SMT-LIB语言的延伸,开发的目的是促进不同核查工具之间的互操作性和基准问题的交流。除了描述其语法和语义外,我们还提出了一套使用该语言的开放源码工具。