向量加法系统相关硕士博士期刊学术论文 - 搜论网

向量加法系统相关论文

向量加法系统相关模型的下界研究

软件的安全性问题越来越突出,当下,除了应用同行评审和软件测试等进行验证外,还可应用形式化验证在项目早期尽快发现软件缺陷。形......

学位

可覆盖性下界向量加法系统

向量加法系统验证问题研究综述

Petri网是形式化验证领域最重要的模型之一,具有重要的理论和应用价值.从验证算法分析的角度,Petri网可以被等价地抽象为向量加法......

期刊

Petri网向量加法系统可达性形式化验证算法复杂性

看过本文同时还关注