01 February 2006
17 January 2006
16 January 2006
The contributions
by GeorgesMariano
Formal verification of an extension of a UNIX compatible, secure filesystem
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
(7 marks)
