Categorieën: Ontwikkeltools, Kwaliteitszorg en testen van software
- Startpagina
- Linux
- Ontwikkeltools
- UPPAAL
- Het downloaden van ...
UPPAAL 4.0.6
Uppaal is een geïntegreerde tool-omgeving voor het modelleren, validatie en verificatie van real-time systemen gemodelleerd als netwerken van getimede automaten, uitgebreid met types data (begrensd gehele getallen, arrays, enz.).Uppaal CORA is een tak van...