ProB Java API

Documentation

• Tutorial
• Developer Manual

Additional Material

• ProB 2.0 Development
• ProB 2.0 Tooling Template
• Programmatic_Abstractions_in_the_ProB_2.0_API
• ProB 2.0 Requirements Document
  (if you want to comment on the Document, please use goo.gl/KS2bh)

• Rodin User and Developer Workshop 2012 - Tutorial Presentation

• Rodin User and Developer Workshop 2013 - Tutorial

• ProB 2.0 within Rodin and a HTML Visualization Example

Download

Nightly builds of ProB 2 for Rodin 3 can be obtained from within Rodin using the update site http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/. This version of ProB is deprecated. We recommend that you either use the standard plugin for Rodin (which still uses the old Java API) or use the new ProB2-UI based on JavaFX which can also directly load machines from Rodin workspaces.