作者
Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, Laurent Xu
发表日期
2016/9/22
图书
International Symposium on Automated Technology for Verification and Analysis
页码范围
122-129
出版商
Springer International Publishing
简介
We present Spot 2.0, a C++ library with Python bindings and an assortment of command-line tools designed to manipulate LTL and -automata in batch. New automata-manipulation tools were introduced in Spot 2.0; they support arbitrary acceptance conditions, as expressible in the Hanoi Omega Automaton format. Besides being useful to researchers who have automata to process, its Python bindings can also be used in interactive environments to teach -automata and model checking.
学术搜索中的文章
A Duret-Lutz, A Lewkowicz, A Fauchille, T Michaud… - International Symposium on Automated Technology for …, 2016