17 January 2006 05:00
16 January 2006 12:00
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
(2 marks)
