Skal have Udviklingsværktøjer Til Alexandre David

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...