环境嵌入式软件验证PreAlpha的_Environment for Embedded Software Verification PreAlpha下载地址

翻译UML序列用该仪器

的嵌入式软件验证环境的建立是能够把Petri网的UML序列图，并验证系统性能与SMV的环境。

该工具可以接收作为输入的UML序列图，并提供了Petri网在三种不同的格式：
·APNN，
·PNML，
·SMV。