public marks

PUBLIC MARKS from GeorgesMariano with tag formal

01 February 2006

17 January 2006

16 January 2006

The contributions

Formal verification of an extension of a UNIX compatible, secure filesystem

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

GeorgesMariano's TAGS related to tag formal

bibliography +   bibtex +   Bmethod +   conference +   Coq +   del.icio.us +   filesystem +   formal:linux +   INRIA:LogiCal +   linux +   logic +   method +   microsoft +   OCaml +   proof +   research +   secure +   software +   TLA +   tool +   unix +   wiki +