机译:端到端正式规范,验证和验证过程:太空飞行软件的案例研究
Software Engineering Laboratory, Institute of Aeronautics and Space, São José dos Campos, Brazil|c|;
Astronautics; behavior; formal methods; metrics; process; requirements engineering; runtime execution monitoring; software; statechart assertions; verification and validation (VV);
机译:致力于自动生成形式规范以验证和验证可靠的分布式系统:以工业案例研究为例的方法
机译:用Frama-C进行形式验证:以空间软件领域为例
机译:用于设计和验证CNC系统的可靠软件的正式规范框架
机译:使用状态图断言和运行时执行监视来正式验证和验证太空飞行软件
机译:边缘检测情况下模糊信息处理的规范和形式验证。
机译:NASA太空飞行软件的软件可靠性分析:实践经验
机译:将基于UML的形式规范,验证和验证应用于太空飞行控制系统和防御软件