PyECDAR will be presented in a tool demonstration paper at the next ATVA conference (11th International Symposium on Automated Technology for Verification and Analysis). It will take place in Hanoi from the 14th to the 18th October. The paper is entitled: “PyEcdar: towards open source implementation for timed systems”.
PyECDAR paper accepted at ATVA 2013
