有界模型验证相关硕士博士期刊学术论文 - 搜论网

有界模型验证相关论文

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的......

期刊

抽象解释有界模型验证数值型运行时错误值范围分析 abstract interpretation bounded model check numeric

基于组合不可行路径的组合线性混成自动机可达性验证研究

信息物理系统广泛应用于安全攸关领域,因此要保证其正确性与安全性至关重要。混成自动机是一种既包含了离散的状态转移,又存在连续......

学位

信息物理系统组合线性混成自动机有界模型验证不可约不可解子集线性约束线性时序逻辑

看过本文同时还关注