分布式模型检测相关论文
模型检测是80年代初由Clarke和Emerson提出的,是一种有效的自动化验证技术,可用于检测计算机硬件和软件的正确性。由于模型检测可......
模型检测是一种形式化自动验证技术,通过对系统状态空间进行穷举搜索,以验证用时序逻辑公式描述的系统性质在该模型上是否可以满足......
