16 January 2006 12:45
16 January 2006 12:30
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)