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