Store 
Simulink® Design Verifier™ 1.2
System Requirements
Product Requirements
- Requires MATLAB
- Requires Simulink
- Requires Simulink Verification and Validation
- Requires Stateflow (If you want to use Simulink Design Verifier with Stateflow® diagrams)
- Not available on Solaris, Windows 64, or Mac OS X (PowerPC)
General System Requirements for
Product Version Availability
Simulink® Design Verifier™ is available on the following platforms:
| Operating System | Product Version |
|---|---|
| Linux | 1.2 |
| Linux x86-64 | 1.2 |
| Mac OS X (Intel) | 1.2 |
| Windows | 1.2 |
See a full list of available products for: Note: Because of problems with the Java VM, there are limitations for some products on some platforms. For details, please see the Platform Limitations section in your products' Release Notes.
