AUTOMATA THEORY; ALGEBRA; TEMPORAL LOGIC; FORMALISM; COMPUTER PROGRAMMING; PROTOCOL (COMPUTERS); THEOREMS; SEMANTICS; SEQUENTIAL ANALYSIS;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:使用线性时间时序逻辑建模和测试面向对象的分布式系统
机译:具有过去和界限的线性时间时序逻辑的高效并行路径检查
机译:关于Buchi自动机的改进模型检查
机译:使用多路决策图对一阶时间逻辑进行模型检查。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:线性时间时间逻辑的并行模型检查算法
机译:模型检查是精细化 - 关联Buechi测试和线性时间时间逻辑