Andre Platzer
2 applications totalLast updated: Mar 14th 2015, 22:03 GMT
Full list of applications developed by Andre Platzer:
- 593 downloads
- 2 KB
KeYmaera 3.6.17
A powerful verification tool designed to be used by hybrid systems that include deductive, real a...
Mar 14th 2015, 22:03 GMT
Windows All
- 811 downloads
- 1 KB
MathPlotter
Plot your functions with this tool
Jun 10th 2012, 08:18 GMT
Windows All