- Hjemmeside
- Alexandre David
- Udviklingsværktøjer
- Kvalitetssikring og test af software
UPPAAL er et integreret værktøj miljø til modellering, validering og verificering af realtidssystemer modelleret som netværk af tidsindstillet automater, forlænget med datatyper (afgrænset heltal, arrays, etc.).UPPAAL CORA er en gren af UPPAAL for Cost...