论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf

【文件属性】：

文件名称：论文研究-基于Kripke结构的UML状态图的形式语义和自动证明 .pdf

文件大小：328KB

文件格式：PDF

更新时间：2022-09-03 10:52:00

UML

基于Kripke结构的UML状态图的形式语义和自动证明，赵也非，杨宗源，给UML赋予形式化的动态语义，可以在软件生命过程早期，对系统进行自动推导和证明。把模型检测应用于UML，是在软件架构中引入形式化