formal verification; object-oriented programming; traffic engineering computing; component-based verification; cyber-physical flow system; design tool; global hybrid systems model; high-fidelity verification; higher-fidelity correctness guarantee; hybrid system component; hybrid systems dynamics; model-based analysis; modular traffic network; prohibitive analytic cost; prototypical implementation; safe operation; traffic component contract; traffic flow component; traffic flow network; verified traffic network; Automobiles; Contracts; Load modeling; Mathematical model; Roads; Safety;
机译:验证基于自适应以太网的网络 - 物理系统的网络端到端延迟
机译:Veriphy:验证网络实物系统模型的验证控制器可执行文件
机译:ModelPlex:已验证验证网络 - 物理系统模型的运行时验证
机译:经过验证的交通网络:基于组件的网络物理流系统验证
机译:验证网络物理系统中信息流的安全性。
机译:网络物理系统中控制模块的正式验证
机译:NNV:用于深度神经网络和启用学习网络系统的神经网络验证工具
机译:modelplex:已验证的网络物理系统模型的运行时验证。