Faculty of Informatics, Masaryk University Brno, Czech Republic;
Faculty of Informatics, Masaryk University Brno, Czech Republic;
Faculty of Informatics, Masaryk University Brno, Czech Republic;
机译:用于传送并发程序的LTL模型检查
机译:使用有限跟踪对ANSI-C程序进行模型检查LTL属性
机译:对带有异常的C ++程序进行模型检查
机译:致于LTL模型检查未修改的基于线程的C&C ++程序
机译:CDSCHECKER:用于C / C ++原子的模型检查器。
机译:ADAMMC:用于抵抗流动 - LTL的Petri网的模型检查器
机译:用于传送并发程序的LTL模型检查