一种基于时间自动机网络的实时系统形式化验证方法 (2008年)

【文件属性】：

文件名称：一种基于时间自动机网络的实时系统形式化验证方法 (2008年)

文件大小：740KB

文件格式：PDF

更新时间：2024-06-18 01:00:19

自然科学 论文

介绍了时间自动机形式模型,在此基础上给出了时间自动机网络的形式语法和语义,然后给出一种基 于时间自动机网络的实时系统形式化验证方法,并采用基于时间自动机网络的模型检测工具 UPPAAL对一个 经典的实时系统实例进行了验证。