...
机译:安全关键软件的集成形式验证
School of Software, Beihang University,IRT-Saint Exupéry,Systerel;
IRT-Saint Exupéry,Thales Avionics;
Systerel;
Systerel;
Integration; Formal verification; Safety-critical embedded software; HLL; S3; SAT; Floating-point arithmetic;
机译:飞机安全关键软件正式验证技术研究
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:安全关键系统级芯片的形式验证技术调查
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:验证安全关键软件:静态和动态方法。
机译:敏捷方法的开源安全关键软件
机译:集成了安全关键软件的正式验证