Flash Memory; LTL Model Checking; Minimal Counterexample; SSD; Solid State Disk;
机译:稳定模型的有界LTL模型检查
机译:LTL模型检查寄存器推动系统
机译:用于传送并发程序的LTL模型检查
机译:快速高效的LTL模型检查,具有最小的EnterneExamples
机译:将类型检查与模型检查相结合以进行系统验证
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:在LTL模型检查中控制多个反例的生成