基于时间自动机的实时系统形式化建模与验证的中期报告

基于时间自动机的实时系统形式化建模与验证的中期报告本文旨在介绍基于时间自动机（Timed Automata，TA）的实时系统形式化建模与验证的中期研究进展。一、研究背景实时系统指的是在预定时间内完成任