行为时序逻辑相关论文
目前随着整个社会信息化的快速发展,软件遗产系统所面临的环境变为开放、动态、多变,那么遗产系统的演化也要随着这种变化要求具有......
模型检测是一种基于形式化方法的自动分析和验证技术,问题的关键是状态空间爆炸的解决。Lesilie Lamport提出行为时序逻辑(TLA)理......
