模型检测方法是最近二十年来最成功的自动验证技术之一,目前已经广泛应用于有穷状态系统(包括通信协议和电路设计)的分析和验证。......

本文主要讨论一个框架时序逻辑程序设计语言FTLL (Framed Temporal Logic Programming Language)的解释器及一个基于命题投影时序......

基于有限精度时间自动机模型,实现了一种新的数据结构———SDS,用SDS符号化表示状态空间的实时系统模型检测工具,并进行了初步的......

模型检测技术因其完全自动化并且验证速度快的优点在硬件及协议的验证中广泛应用,近年来在软件领域的应用研究也不断涌现。总结了......

为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用G roebner基进行多项式......