formal specification; program diagnostics; program verification; Omnibus IDE; Omnibus verification policy; assertion-based software verification; design by contract approach; extended static checking; reliability requirements; verified design by contract approach;
机译:Omnibus的灵活和可配置验证策略
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:软件定义网络的安全策略模型转换和验证方法
机译:Omnibus验证策略:一种灵活,可配置的基于断言软件验证方法
机译:用于验证和确认软件需求的特定领域方法。
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:Omnibus的灵活和可配置验证策略