FOREVER-开源

【文件属性】：

文件名称：FOREVER-开源

文件大小：57KB

文件格式：JAR

更新时间：2024-05-15 11:47:59

开源软件

FOREVER是一个使用SMV将UML序列图转换为Petri Nets和ckeck系统属性的环境。 该工具接收UML的输入序列图，并以三种不同的格式提供Petri网：APNN，PNML和SMV。