Analytical models; Systematics; Model checking; Formal verification; Complexity theory; Software;
机译:集成设计验证:数字集成电路的仿真与形式验证相结合
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:基于网络物理系统集成模型的移动机器人的设计与验证
机译:海报:具有集成验证和形式验证的网络物理模型的自上而下的设计
机译:多Agent系统的系统设计与形式验证。
机译:网络物理系统中控制模块的正式验证
机译:通过验证形式任务和系统模型验证交互式系统设计
机译:modelplex:已验证的网络物理系统模型的运行时验证。