这是一个用于模式转换以生成 NuSMV 和 Matlab 代码的 Simulink Design Verifier 03 脚本，适用于 Matlab 开发环境

定义为表格的模式转换可以轻松转换为 Matlab 和 NuSMV 代码，以便在 SDV 和 NuSMV 工具中使用。 这用于正式证明模式转换的正确性。 提供了两个示例 - 一个是较早的自动驾驶仪模式转换，另一个是通用表。