Version 10 (modified by Dr. Ivan S. Zapreev, 11 years ago) (diff)

Some minor fixes for the images size and positions


MRMC People

Currently, the tool is being developed in the Software Modeling and Verification (MOVES) group at RWTH Aachen University, Germany under the guidance of Prof. Dr. Ir. Joost-Pieter Katoen.

Before 2008, the tool development was concentrated in the Formal Methods & Tools (FMT) group at the University of Twente, The Netherlands.

Current Team Members

Participant: 2004--present

Name: Prof. Dr. Ir. Joost-Pieter Katoen

Position: Full professor

Affiliation: MOVES group at RWTH Aachen

Participant: 2004--present

Name: Dr. Ivan S. Zapreev

Position: Postdoc

Affiliation: MAS2.2 group at Centrum voor Wiskunde en Informatica

Participant: 2007--present

Name: Christina Jansen

Position: Student assistant

Affiliation: MOVES group at RWTH Aachen

Participant: 2007--present

Name: Dr. David N. Jansen

Position: Assistant professor

Affiliation: ITA group at Radboud University Nijmegen

Participant: 2008--present

Name: Viet Yen Nguyen (MSc)

Position: PhD student

Affiliation: MOVES group at RWTH Aachen

Former Team Members