VMT-LIB语言与工具
计算机科学中的逻辑
2021-09-28 v1
摘要
我们提出了VMT-LIB，一种用于表示无限状态符号迁移系统上线性时间时序性质验证问题的语言。VMT-LIB是SMT求解器标准SMT-LIB语言的扩展，旨在促进不同验证工具之间的互操作性和基准问题交换。除了描述其语法和语义外，我们还介绍了一套用于处理该语言的开源工具。
引用
@article{arxiv.2109.12821,
title = {The VMT-LIB Language and Tools},
author = {Alessandro Cimatti and Alberto Griggio and Stefano Tonetta},
journal= {arXiv preprint arXiv:2109.12821},
year = {2021}
}