Mga Kategorya: Tool ng developer, Pagtiyak ng kalidad at pagsubok ng software
UPPAAL 4.0.6
UPPAAL ay isang nakapaloob na kapaligiran na kasangkapan para sa modeling, pagpapatunay at pagpapatunay ng mga real-time na mga sistema ng modelo ng mga network ng mga nag-time automata, pinalawig na may mga uri ng data (bounded integers, arrays,...