时序安全性质相关硕士博士期刊学术论文 - 搜论网

时序安全性质相关论文

嵌入式控制系统时序安全性建模及验证

针对嵌入式控制系统中的时序安全问题,提出一种形式化验证方法,使用证明助手Coq对嵌入式控制系统建模,并验证其时序安全性质.首先,......

期刊

时序安全性质嵌入式控制系统 Coq 形式化验证有限自动机

面向C程序验证的切片执行方法

随着计算机系统的广泛应用,计算机软件的高可信性质受到了越来越多的关注。面向软件源程序的形式验证是保障软件高可信性质的一种......

学位

切片执行模型检验时序安全性质 C程序验证变量抽象部分最强后置条件部分最弱前置条件有状态动态偏序缩减

看过本文同时还关注