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.