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

Added "content:"


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.


  1. Current Team Members
  2. Former Team Members

Current Team Members

Former Team Members

Attachments (4)

Download all attachments as: .zip