PyEcdar: Towards Open Source Implementation for Timed Systems - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
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.

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
pyecdar-atva2013.pdf (108.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Louis-Marie Traonouez  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01087318

Soumis le : mardi 25 novembre 2014-17:35:08

Dernière modification le : vendredi 24 mars 2023-14:52:59

Archivage à long terme le : jeudi 26 février 2015-12:25:32

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
269 Consultations
86 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More