Zobrazeno 1 - 2
of 2
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
Autor:
Sharon Shoham, Yakir Vizel
This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented tog