...compositional verification, synthesis [gap=261]关键词模型检测,基于属性的设计,达虹对象,验证,物业检查,?????????组合验证,合成 ...
基于30个网页-相关网页
Compositional verification 组合验证 ; 组合验证 ; 构建性验证 compositional structure 组织结构 ; 组成结构 ; 要素性结构 ..
基于1个网页-相关网页
Furthermore, we make use of the hierarchies in compositional verification, which makes it possible to substitute some components of implementation with abstract specifications (which usually have smaller state space). We have designed and implemented an UML-based model checking tool, UML-MC.
此外,根据Statecharts的特点把层次结构加入到组合验证的过程中,使得对实现的验证可以通过把系统的某些精化部分用更抽象的规范(通常有更小的状态空间)代替来进行。
参考来源 - 面向UML的模型检验研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐