IAR visualSTATE® is available in premium and baseline editions.
| Components |
Premium |
Baseline |
| Designer |
Yes |
Yes |
| Verificator |
Yes |
Yes |
| Validator |
Yes |
Yes |
| Navigator |
Yes |
Yes |
| Code generator |
Yes |
Yes |
| Documenter |
Yes |
Yes |
| Max number of states |
Unlimited |
250 |
| SUA ¹ |
Yes |
Limited 2 |
| Part number |
VSPRE |
VS-BL |
1 Support and Update Agreement (SUA)
2 90 days technical Warranty
Please contact your sales office for detailed information about the packages available in your region.