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)
• ProB 2.0 Tutorial

• 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