...
机译:基于界限模型检查的并发错误查找
Faculty of Mathematics University of Belgrade Studentski trg 16 11000 Belgrade Serbia;
Software verification; automated bug finding; bounded model checking; parallel and concurrent approaches;
机译:使用动态测试生成和显式状态模型检查在Web应用程序中查找错误
机译:使用基于SAT的有界模型检查在同步多值网络中寻找吸引子
机译:Pallas:语义感知检查,用于在快速路径中查找深层错误
机译:多级有界模型检查以检测绑定超出界限的错误
机译:查找和容忍并发错误
机译:基于完整rDNA序列的真虫18S和28S rRNA二级结构模型。Eurydema maracandica Oshanin1871年(HeteropteraPentatomidae)
机译:使用动态测试生成和显式状态模型检查在Web应用程序中查找错误