Software Verification Research Centre University of Queensland, Queensland 4072 Australia;
formal methods; model checking; interlocking systems; process algebras;
机译:使用基于SAT的模型检查自动验证铁路联锁
机译:使用加注逐步开发和模型检查分布式互锁系统
机译:基于多种复合场景分析的铁路联锁系统形式化建模方法
机译:铁路联锁系统模型检查
机译:将类型检查与模型检查相结合以进行系统验证
机译:利用概率模型检查对细胞膜系统进行建模和分析
机译:铁路联锁系统模型检查