SALT
Web Interface
This web form allows you to run the SALT compiler on a specification you type in.
Please enter a SALT specification:
Show example specifications:
Output-Syntax:
SMV
Spin