Apps filed under: verification tool
RSS Feed for this tag 3 applications totalLast updated: Mar 14th 2015, 22:03 GMT
- 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
- 3,139 downloads
- 628 KB
Portable ICE ECC 2.7
The application is a file verification and repair tool
Jun 10th 2009, 00:42 GMT
Windows All
- 5,838 downloads
- 702 KB
ICE ECC 2.7
Allows you to protect your important files and sensitive data
Jun 10th 2009, 00:37 GMT
Windows All