nusmv
NuSMV Tools是一个新项目,为模型检查器NuSMV提供了一组工具。
计划该项目不久将包含两个基于Eclipse Modeling Framework Project的元模型,一个模型分析器以及一个包含Java API的OSGi软件包,这将允许将NuSMV嵌入Java应用程序中。 它还将具有NuSMV输入语言和NuSMV反例语言。
翻译自: https://jaxenter.com/new-project-provides-tools-for-nusmv-model-checker-102194.html
nusmv