program verification; software architecture; aerospace computing; assume-guarantee verification; design-level assumptions; model checking; state explosion problem; system development; abstract behavioral models; component assumption generation; design artifacts; source code reasoning; system verification; NASA application; safety property violation;
机译:多假设架构和测试用(MAAT V1.0):R代码,用于生成具有动态模型结构的合奏和来自多种来源的认知不确定性的分析
机译:多假设架构和测试用(MAAT V1.0):R代码,用于生成具有动态模型结构的合奏和来自多种来源的认知不确定性的分析
机译:量子记忆资源理论及其具有最小假设的忠实验证
机译:带有设计级假设的源代码的保证担保验证
机译:基于合作假设的推理,可以全面禁止核查条约。
机译:初始森林时代分布可能会产生计算汇或碳源:一种以欧盟Lulucf林参考水平底层测试假设的通用方法
机译:带有设计级假设的源代码的保证担保验证
机译:使用设计级假设确认源代码的保证