PyEcdar: Towards Open Source Implementation for Timed Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2013

PyEcdar: Towards Open Source Implementation for Timed Systems

Résumé

PYECDAR is an open source implementation for reasoning on timed systems. PYECDAR's main objective is not efficiency, but rather flexibility to test and implement new results on timed systems.
Fichier principal
Vignette du fichier
pyecdar-atva2013.pdf (108.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01087318 , version 1 (25-11-2014)

Identifiants

Citer

Axel Legay, Louis-Marie Traonouez. PyEcdar: Towards Open Source Implementation for Timed Systems. 11th International Symposium on Automated Technology for Verification and Analysis, Oct 2013, Hanoi, France. pp.460 - 463, ⟨10.1007/978-3-319-02444-8_35⟩. ⟨hal-01087318⟩
272 Consultations
98 Téléchargements

Altmetric

Partager

More