ProB Java API: Difference between revisions

Revision as of 09:14, 19 July 2019

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 Java FX which can also directly load machines from Rodin workspaces.

Revision as of 09:12, 19 July 2019 (view source) Michael Leuschel (talk \| contribs) (→‎Documentation) ← Older edit		Revision as of 09:14, 19 July 2019 (view source) Michael Leuschel (talk \| contribs) (→‎Download) Newer edit →
Line 25:		Line 25:

	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/ http://nightly.cobra.cs.uni-duesseldorf.de/prob2/updates/nightly/].		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/ 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_JavaFX_UI\|ProB2 UI based on Java FX]] which can also directly load machines from Rodin workspaces.