Model checking; Conferences; Sorting; Software algorithms; Software engineering;
机译:使用PROMELA和SPIN模型检查观测确定性安全属性
机译:流程,模型和旋转:线性时序逻辑允许在Promela中检查执行路径
机译:dev-proMela:通过组合模型检查和仿真来建模,验证和验证视频游戏
机译:使用Promela和SPIN进行模型检查的Quicksort的变体
机译:使用SPIN对商业协作软件系统的故障转移协议进行模型检查
机译:在急性T细胞淋巴瘤和肝细胞癌的小鼠模型中可以耐受MAD2L1纺锤体装配检查点基因的删除
机译:用于模型检查UML序列图的旋转/ PROMELA应用程序