TLA Toolbox: Linux 64-bit, Mac 64-bit and Windows 64-bit

2010-May-29 | Tags: apple

Start64!An integrated development environment for writing and checking TLA+ specifications.

TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems. It is the basis for TLA+, a complete specification language.


facebook-3 twitter-3 rss-3 email-3