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]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...