The Modest Toolset Contact us Documentation Examples Publications Download

Contact Us

The Modest Toolset is developed and maintained at

• the Formal Methods and Tools Group of the University of Twente and
• the Dependable Systems and Software Group of Saarland University.

If you would like to provide any kind of feedback that does not fit into our issue tracker, please contact us via e-mail at .

Impressum

Arnd Hartmanns
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands