17 January 2006 05:00
16 January 2006 13:00
16 January 2006 12:00
The TLA Tools Project
by GeorgesMariano
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
(3 marks)
