Jan-David Quesel and Andre Platzer

1 application totalLast updated: Sep 6th 2012, 00:32 GMT

Full list of applications developed by Jan-David Quesel and Andre Platzer:

490 downloads
2 KB

KeYmaera 3.0

Free verification tool for hybrid systems

Sep 6th 2012, 00:32 GMT

feedback