16 January 2006 12:30
![](http://blogmarks.net/screenshots/2006/01/16/62d51cc12b8b1b08fa2c0d76bf61ffc9.png)
The TLA Tools Project
![](http://blogmarks.net/img/default-gravatar.gif)
The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process
1
(1 marks)