伪反例相关论文
实时系统已经广泛应用于人们工作生活中的各个领域,通常要求具有很高的可靠性,采用形式化方法对实时系统建模并验证是构建可信实时......
Web应用导航行为的建模和验证是可信Web工程研究的重点和难点。在深入分析用户和Web浏览器交互行为的基础上，文中引入On-the-fly策......
