The JANI Specification Contact us

Contact Us

The JANI specification is a joint project of

• the Formal Methods and Tools Group of the University of Twente,
• the chair for Software Modeling and Verification at RWTH Aachen,
• the Probabilistic Model Checking Team at ISCAS, and
• the Dependable Systems Group at Universidad Nacional de Córdoba.

For any kind of feedback or questions concerning JANI, please contact Arnd Hartmanns via e-mail at .

Impressum

Arnd Hartmanns
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands