Publications
| Jens Bendisposto, Michael Leuschel: Proof Assisted Model Checking for B, Proceedings of the International Conference on Formal Engineering Methods ICFEM 09, LNCS, 200 |
| Jens Bendisposto, Michael Leuschel: Parallel Model Checking of Event-B Specifications with ProB, Workshop on Parallel and Distributed Methods in Verification PDMC 09 |
| Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker: Applying Model Checking to Generate Model-based Integration Tests from Choreography Models, Proceedings of TESTCOM/FATES, 2009 |
| Michael Leuschel: The High Road to Formal Validation: Model Checking High-Level versus Low-Level Specifications, Proceedings of ABZ 2008, LNCS |
