May 2006
April 2006
January 2006
The TLA Tools Project
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
(6 marks)