Jens_Bendisposto:Model Checkers
Directed and Distributed Model Checking
ProB 2.0 Requirements Document
Please help us to improve this documentation by providing feedback in our bug tracker, asking questions in our prob-users group or sending an email to Michael Leuschel.