模型检测工具相关论文
模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。......
在涉及航空航天、交通指挥、军事、核工业等一些关键领域，系统一次计算的正确性，不单单取决于其计算逻辑的正确性，同时也与运行结果的......
本文主要讨论一个框架时序逻辑程序设计语言FTLL (Framed Temporal Logic Programming Language)的解释器及一个基于命题投影时序......
为了提高Web服务组合的可靠性，提出了一种时间异步Web服务交互的失配检测方法。首先采用基于时序逻辑的软件体系结构描述语言XY......
模型检测技术在安全协议验证领域取得了很大成果，但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问......
基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的......
模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现。总结了......
为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用G roebner基进行多项式......
