NuRV公司 NuRV是用于运行时验证(RV)的nuXmv扩展。NuRV支持在有限或无限状态SMV模型给出的假设下对线性时序逻辑(LTL)属性进行在线/离线运行时验证。NuRV还可以。。。 阅读更多信息
FSAP–正式安全分析平台 FSAP旨在支持设计和安全工程师进行复杂系统的开发和安全评估。FSAP平台由两个主要工具组成:FSAP(正式安全分析平台)和NuSMV-SA,前者提供图形用户界面,便于用户交互,后者是NuSMV模型检查器的扩展。 阅读更多信息
验证2SMV Verilog2SMV是一个开放源码工具,它采用带有简单SystemVerilog断言的Verillog设计,并在SMV格式的寄存器传输级别生成模型检查问题。有关更多信息,请参阅。。。 阅读更多信息