机译:具有顺序释放功能的联锁系统的正式建模和验证
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark;
DTU Compute, Technical University of Denmark, Kongens Lyngby, Denmark;
Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany;
Railway interlocking systems; Sequential release; Formal verification; Bounded model checking; k-Induction;
机译:基于多种复合场景分析的铁路联锁系统形式化建模方法
机译:使用HiLLS指定的模型进行正式验证:复杂系统的多分析建模的又一步
机译:基于功能的软件模型形式验证技术分类
机译:继电器联锁系统自动建模和验证工具的正式开发
机译:用于混合控制系统的模型重构的正式验证=混合控制系统的模型重构的正式验证
机译:正式验证人类自动化交互作为系统模型的一部分:限制和权衡
机译:具有顺序释放功能的联锁系统的正式建模和验证
机译:实时顺序控制系统的形式化规范与验证