You are here

Our grants

  • Automated symbolic verification of programs and cryptographic protocols in distributed systems

  The project started in 2005 and is scheduled to be finished in 200X. The details about the project can be found at the project page (currently not available).

  • Automated verification of time dependent systems

Verics was initiated during this project. For details, see the project page

Back to top