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 2018 September

Month: September 2018

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.