VeriDis: Modeling and Verification of Distributed Algorithms and Systems

The VeriDis project aims to exploit and further develop the advances and integration of interactive and automated theorem proving applied to the area of concurrent and distributed systems. The goal of the project is to assist algorithm and system designers to carry out formally proved developments, where proofs of relevant properties as well as bugs can be found fully automatically.

VeriDis is a joint research project of Inria Nancy and the Max Planck Institute for Informatics.

VeriDis Website