January 2008
February 2007
February 2006
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
(25 marks)
