Semantics, Modeling & Verification

Webpage of the Semantics, Modeling & Verification team at University of Geneva

Developing complex and reliable software systems requires rigorous methods for modelling, designing and verifying them. The SMV group is involved in designing dedicated formalisms that are semantically well described in order to make analysis of system properties possible, to automatically produce code and to select pertinent test cases. A coherent set of tools has been developed in order to apply our methods to software-intensive systems.

Si vous avez des idées de projets, n’hésitez pas à nous en faire part. Nous serons ravi d’en discuter et d’adapter au mieux le sujet pour travailler sur une thématique qui vous intéresse.

Pour tout contact pour l’un de ces projets (ou pour proposer votre projet):

Projets de Bachelor

Projets Master

Job Offers

There is currently no job.

Domains of Activity

Domains of Application


Didier Buchs Professor
Stefan Klikovits Post-doc
Dimitri Racordon Post-doc
Damien Morard Ph.D. Student
Aurélien Coet Ph.D. Student
Steve Hostettler Senior Lecturer

Former Members



Our mail address is:

Semantics, Modeling & Verification Maboratory
University of Geneva
Battelle Bat. A
Route de Drize 7
CH-1227 Carouge


Our team uses the following tools:

A new member of the Semantics, Modeling and Verification team should create accounts in all the services above, and request to become a member of our team in BitBucket and GitHub.