关于可信软件的验证工具，下列选项中属于可信软件验证工具的是哪些？ ① Spin ②NuSMV ③Atelier-B ④Jmeter

可信软件验证工具用于验证软件系统的动态行为及其结果是否符合预期，并在受到干扰时仍能提供连续服务。其中，Spin、NuSMV和Atelier-B都是可信软件验证工具。Jmeter是一种性能测试工具，主要用于对软件系统进行性能测试，并不属于可信软件验证工具。因此，选项D（①②③）是正确的选择。