Uppaal Model Checker ها یک محیطی با ابزار های مخصوص رو برای شما فراهم میکنن برای مدلسازی،ارزیابی ازمایش و تحقیق سیستم های Real-time
اگه اطلاعات جامع تری مخواین متونین به سایت دانشگاه Uppsala سر بزنید
باز اگه مقاله انگلیسی خواستید بگین تا همین جا بذارم