Pyecdar: towards open source implementation for timed systems. 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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 3 articles )

Showing results 1 to 3 of 3.
Sorted by year (citations)

  1. Fahrenberg, Uli; Legay, Axel; Traonouez, Louis-Marie: Specification theories for probabilistic and real-time systems (2014)
  2. Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej: Robust synthesis for real-time systems (2014)
  3. Legay, Axel; Traonouez, Louis-Marie: \textscPyecdar: towards open source implementation for timed systems (2013) ioport