Model-checking相关论文
提出了软件模型检测技术与软件测试技术的集成框架，在合适的软件检测模型基础上，通过模拟仿真，产生软件的测试用例，提高了软件的测试效......
本文分别以安全协议模型检测器SATMC和ProVerif为例，介绍了基于经典逻辑的安全协议模型检测两种方法：SAT方法和归结方法，并简要地给出......
模型检查作为一种自动化系统验证方法,已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑（ATL）,也被给予了高......
模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂......
提出了将形式化验证特别是模型检测技术应用于电子商务系统的第三方验证，给出审计师选择模型检测器的方法和应用步骤．分析了验证示例......
采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质:活性、移动性和平滑切......
入侵检测系统的智能性逐渐受到重视．基于逻辑的模型检测方法是一种有效的误用检测方法。介绍基于逻辑的模型检测方法的研究现状，提出......
