formal verification; scheduling; real-time systems; deductive schedulability verification; real-time software; hybrid automata; real-time operating system; deductive refinement theory; scheduling theory; periodic process; fixed-priority preemptive schedu;
机译:使用混合自动机规范实时软件并验证其可调度性
机译:使用混合自动机确定实时软件和验证其调度性的验证
机译:基于假设保证风格的实时软件演绎细化验证方法
机译:使用细化验证和混合自动机的实时软件的演绎调度验证方法
机译:用于实时对象代码验证的规范和细化地图的合成
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:使用细化验证和混合自动机的实时软件的演绎性可调度性验证方法
机译:专家系统软件和传统软件的验证和确认指南:专家系统验证和验证方法的调查和记录。第3卷