- 1,741 downloads
A complete tool suite designed to automate building extremely fast parallel code on AMD and Intel ...
Nov 19th 2010, 11:02 GMT
- Quality Assurance and Testing
- 1,451 downloads
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time sy...
Mar 9th 2007, 23:35 GMT