matlab代码转化为simulink-Exploring-Simulink-Design-Verifier-3:这是为模式转换...

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