UPPAAL 4.0.6
UPPAAL er et integrert verktøy miljø for modellering, validering og verifikasjon av sanntidssystemer modellert som nettverk av tidsbestemt automater, utvidet med datatyper (avgrenset heltall, tabeller, etc.).UPPAAL CORA er en gren av UPPAAL for Cost...
