Algorithms; Computer program verification; Mathematical models; Parallel processing; Ic3 algorithms; Variants; Proof detection;
机译:IC3软件模型检查
机译:比较ic3算法的不同变体进行硬件模型检查
机译:基于模型的验证设计在多线程应用中进行死锁检查的方法
机译:使用多线程IC3产品组合进行模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:通过顺序化对多线程程序进行有界模型检查