模型检查论文

基于STP方法的SCADE模型形式化验证框架
论文摘要高安全性应用开发环境(SCADE)的形式化验证组件DesignVerifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为...