Notepad++ 如何从记事本执行.smv文件++；

我目前正在学习NuSMV的LTL和CTL模型检查

我使用notepad++进行编码活动——主要是用python编写的——我知道我们可以使用notepad++运行python脚本（.py文件）

我是NuSMV新手，我想知道是否有任何方法可以在notepad++中执行.smv脚本

下面是我打算运行的.smv代码示例

MODULE main
 VAR
  variable : boolean;
 ASSIGN
  init(variable) := true;
  next(variable) := !variable;
 LTLSPEC
  G (variable & X !variable)
 CTLSPEC
  EF (!variable & AX variable)

---

但是，使用NuSMV交互式shell运行上面的SMV脚本也有一些困难。假设上面的脚本名为test.smv。我应该如何使用NuSMV interactive shell运行它？

如果您能找到运行代码的命令行，那么解决方案是：

安装NPPExec插件

找出要执行的命令行并对其进行测试

在N++中，按F6键或使用NPPExec插件菜单中的等效菜单项

填写所需的命令行

将命令行中的文件名替换为“$（完整当前路径）”token-N++将把当前文件的文件名放在这里

[可选]按保存…按钮并保存命令

按“确定”按钮运行命令

要重复运行同一命令，只需按Ctrl+F6

要显示控制台的命令输出，请按Ctrl+`（1234567890左侧的键）

---

NuSMV支持从命令行启动，并且在文档的第4章中提供了大量的命令行选项（截至今天）。但是，如果它们仍然不能满足您的需求，并且无法从命令行运行代码，那么您可能需要考虑自定义编程解决方案（如果您有足够的时间和技能）-考虑编写自己的N+插件。或者从命令行编写可控制的小工具，该工具使用其API调用所有必要的NuSMV方法。也许这也可以在Python中完成。然后您只需从NPPExec调用您的工具。

您尝试过NPPExec插件吗？根据NPPExec手册，SMV不受支持。我希望类似于运行“C:\Program Files\NuSMV\2.5.4\bin\NuSMV.exe”-I“（$（完整的当前路径）”。此功能适用于python，但SMV出现问题。缺少提示NuSMV>。