基于时间自动机的实时系统形式化建模与验证的任务书

基于时间自动机的实时系统形式化建模与验证的任务书任务简述：本次任务要求完成基于时间自动机的实时系统的形式化建模与验证。任务包括对实时系统进行建模，并采用模型检测技术对系统进行验证。任务目标：1. 了解