... is a powerful and innovative tool designed for formal specification and verification of systems using the Temporal Logic of Actions (TLA). This software is an essential ...
Get the latest downloads updates and news directly in your inbox.
By clicking on "Subscribe" above, you are agreeing to the Terms of Use and the Privacy Policy.
Thank you for subscription. You will receive email with next instruction.
If you do not receive the confirmation email within the next hour, please make sure that you used correct email address, and that the message is not filtered by your spam filter.
If the problem continues, please use a different email address.