PyEcdar: Towards Open Source Implementation for Timed Systems

Legay, Axel;Traonouez, Louis-Marie
(2013) 11th International Symposium on Automated Technology for Verification and Analysis (15.October.2013)

Files

No attached file found for this publication.

Details

Authors
  • Legay, AxelUCLouvain
    Author
  • Traonouez, Louis-Marie
    Author
Abstract
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.

Citations

  • APA
  • Chicago
  • FWB

Legay, A., & Traonouez, L.-M. (2013). PyEcdar: Towards Open Source Implementation for Timed Systems. Automated Technology for Verification and Analysis Lecture Notes in Computer Science. 11th International Symposium on Automated Technology for Verification and Analysis. https://doi.org/10.1007/978-3-319-02444-8_35