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
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Larsen, Kim G.; Legay, Axel; Traonouez, Louis-Marie; Wąsowski, Andrzej: Robust synthesis for real-time systems (2014)
- Legay, Axel; Traonouez, Louis-Marie: Pyecdar: towards open source implementation for timed systems (2013)