PyEcdar

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