Spot is a C ++ 17 library for LTL and $\omega$-automata manipulation, with command-line utilities, and Python bindings. This paper summarizes its evolution over the past six years, since the release of Spot 2.0, which was the first version to support $\omega$-automata with arbitrary acceptance conditions, and the last version presented at a conference. Since then, Spot has been extended with several features such as acceptance transformations, alternating automata, games, LTL synthesis, and more. We also shed some lights on the data-structure used to store automata.
翻译：点点为 C++ 17 LTL 和 $\ omega$- automata 操作图书馆, 配有指令线路公用设施 和 Python 装订工具。 本文总结了它在过去六年的演变情况, 自Spot 2. 0 发布以来,这是第一个以任意接受条件支持 $\ omega$- atoomata 的版本, 也是最后一次在会议上介绍的版本 。 此后, Spot 扩展了多个功能, 如验收转换、 交替自动数据转换、 游戏、 LTL 合成等 。 我们还为用于存储 Automata 的数据结构提供了一些灯光 。
相关内容
微信扫码咨询专知VIP会员