Parallel LTL Model Checking in LMNtal Model Checker SLIM

机译：LMNtal模型检查器的实现：元编程方法。

机译：带有部分订单减少的可执行LTL模型检查器的形式验证

机译：动态并行模型检查算法，最适合验证弱LTL属性

机译：DiVinE多核-并行LTL模型检查器

机译：有效的

机译：ADAMMC：用于抵抗流动 - LTL的Petri网的模型检查器

机译：并行图重写模型检查器SLIM的状态空间压缩方法的评估和实现

机译：LTL模型检查系统，LTL模型检查方法和LTL模型检查程序

机译：具有多个模型检查器的模型检查装置以及使用该模型检查器的模型检查方法

机译：在旋转模型检查器中的同一通道上对广播，多播，点对点和握手通信进行建模