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.

Content:

• Current Team Members
• Former Team Members