Contact Information

If you have comments or questions on our statistical model-checker, you can contact any of us:

• Alexandre David
• Kim G. Larsen
• Marius Mikucionis
• Peter Bulychev
• Wang Zheng
• Axel Legay