Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Medioni, Thomas"'
Autor:
Duret-Lutz, Alexandre, Renault, Etienne, Colange, Maximilien, Renkin, Florian, Gbaguidi, Alexandre, Schlehuber-Caissier, Philipp, Medioni, Thomas, Martin, Antoine, Dubois, Jérôme, Gillard, Clément, Lauko, Henrich
Publikováno v:
Proceedings of the 34th International Conference on Computer Aided Verification (CAV'22), Aug 2022, Technion, Israel
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
Externí odkaz:
http://arxiv.org/abs/2206.11366
