No edit summary |
No edit summary |
||
| Line 8: | Line 8: | ||
[[Directed and Distributed Model Checking]] | [[Directed and Distributed Model Checking]] | ||
[[Using parB]] | |||
[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] | [https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] | ||
{{Bugtrack}} | {{Bugtrack}} | ||
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.