Rapport
(Rapport De Recherche)
Année : 2016
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03172233
Soumis le : mercredi 17 mars 2021-15:40:38
Dernière modification le : mardi 24 septembre 2024-03:09:16
Dates et versions
Identifiants
- HAL Id : hal-03172233 , version 1
Citer
Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, et al.. A Fully Verified Executable LTL Model Checker. [Research Report] Archive of Formal Proofs. 2016. ⟨hal-03172233⟩
Collections
23
Consultations
0
Téléchargements