TLA Toolbox - Microsoft Research Releases Linux Software

Microsoft Research has released a development environment for creating and testing specifications for the TLA (Temporal Logic of Actions) language . One of the few examples of software released by Microsoft for Linux.

View project page