| Version 2 (modified by , 10 years ago) (diff) |
|---|
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
Former Team Members
Attachments (4)
- mkhattri.jpg (75.4 KB) - added by 10 years ago.
- moldenkamp.jpg (9.5 KB) - added by 10 years ago.
- tkemna.jpg (14.2 KB) - added by 10 years ago.
- vaggarwala.jpg (30.1 KB) - added by 10 years ago.
Download all attachments as: .zip
