ProB Java API

Revision as of 11:04, 18 May 2021 by David Geleßus (talk | contribs) (Update ProB2-UI link)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Documentation

Additional Material

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.