在线建模与验证论文

基于深度优先搜索的混成系统有界可达性分析
论文摘要混成系统是一类有广泛应用的系统,目前主要用混成自动机对其进行建模,对混成自动机进行可达性检验是保障混成系统质量的主要手段。目前对于混成系统的可达性分析主要有两类主要方法...