Team Veridis

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Contracts and Grants with Industry

Tools and Methodologies for Formal Specifications and for Proofs

Participants : Stephan Merz, Hernán-Pablo Vanzetto.

We participate in the project on Tools and Methodologies for Formal Specifications and for Proofs at the MSR-INRIA Joint Centre. The objective of the project is to develop a proof environment for verifying distributed algorithms in TLA+ (see also sections 5.2 and 6.4 ). The project in particular funds the PhD thesis of Hernán Vanzetto.