扩展时序逻辑相关硕士博士期刊学术论文 - 信丰网

扩展时序逻辑相关论文

ETL的符号化模型检验

为使符号化模型检验技术适用于全部ω-正规性质，研究了ETL（extended temporal logic）的符号化模型检验方法．首先，扩展了LTL（linear tempo......

期刊

符号化模型检验扩展时序逻辑 TABLEAU方法验证工具 ENusMV symbolic model checking ETL （extended temp

扩展时序逻辑的推理及符号化模型检验技术

随着计算机软、硬件系统复杂性的日益增长,系统设计和实现的正确性越来越难以得到保证。因此,用以检验系统正确性的形式化方法亟待......

学位

扩展时序逻辑 μ-演算公理系统符号化模型检验 ENuSMV

看过本文同时还关注