ProB Java API

Documentation

Tutorial

Developer Manual

Additional Material

• ProB 2.0 Development
• Programmatic_Abstractions_in_the_ProB_2.0_API
• ProB 2.0 Core Javadoc
• 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 [You can download ProB 2.0 for Rodin 3.x using the update site http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/.