ProB Java API

Revision as of 12:34, 19 January 2015 by Michael Leuschel (talk | contribs)


Documentation

Tutorial

Developer Manual

Additional Material

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/.