Skip to content

VeriDis: Verification of Distributed Systems

Verification | Theorem proving | SMT | Model checking | Distributed Systems
Skip to content
  • HOME
  • TEAM
  • RESEARCH
    • PUBLICATIONS
    • PROJECTS
    • SOFTWARE
    • VeriDis seminar
  • JOBS
  • NEWS
  • CONTACT
Home Page

FroCoS 2021: Hans-Jörg Schurr is the Author of the Best Paper by a Junior Researcher

smerz 2021/10/18 2021/11/10News

We should be able to automate what the human mind can express. Our idea is to take charge of the bureaucratic details of a proof so that the developer needs only concentrate on the creative and interesting part of that proof. This is the motto of Hans-Jörg Schurr, a young…

Continue reading

The new site is up

Igor KONNOV 2018/09/09 2018/09/09News

The new VeriDis web site is up and running!

Continue reading


  • CNRS INRIA MPI Institute of Informatik University of Lorraine LORIA
  • Contact
  • Admin
Powered by Nirvana & WordPress. Mentions légales & CGU & Politique de confidentialité & Cookies

We are using cookies to give you the best experience on our website.

You can find out more about which cookies we are using or switch them off in settings.

VeriDis: Verification of Distributed Systems
Powered by  GDPR Cookie Compliance
Privacy Overview

This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.

Strictly Necessary Cookies

Strictly Necessary Cookie should be enabled at all times so that we can save your preferences for cookie settings.

If you disable this cookie, we will not be able to save your preferences. This means that every time you visit this website you will need to enable or disable cookies again.