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
News
The new site is up
The new site is up
Igor KONNOV
2018/09/09
2018/09/09
News
The new VeriDis web site is up and running!
FroCoS 2021: Hans-Jörg Schurr is the Author of the Best Paper by a Junior Researcher
Comments are closed.