Apps filed under: verifier
RSS Feed for this tag 5 applications totalLast updated: Apr 3rd 2010, 16:30 GMT
- 6,985 downloads
Compiz-Check 0.3
Compiz-Check is a new tool that can be used to test if Compiz is able to run on your system.
May 13th 2008, 04:19 GMT
- 1,692 downloads
UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly alg...
Nov 23rd 2006, 03:35 GMT
- 867 downloads
CsvTool 1.0B3
CsvTool analyzes, verifies, and transforms CSV (comma-separated value) data.
Nov 20th 2005, 16:52 GMT