不变式生成论文

基于迁移系统语义的线性混成系统分析
论文摘要混成系统以核心控制器的形式广泛出现于航天运输、机械控制等安全攸关领域。因此,通过形式化验证对相关系统的质量保障进行研究十分重要。混成自动机是混成系统主要设计建模语言,因...