- Startpagina
- Alexandre David
- Ontwikkeltools
- Kwaliteitszorg en testen van software
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...