Simulink^® Design Verifier™ 软件使用 Prover^® Technology 的 Prover Plug-In^® 产品 Prover PSL 来生成测试用例并证明模型属性。