ProB Java API: Difference between revisions

Latest revision as of 11:04, 18 May 2021

Documentation

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

Revision as of 16:39, 3 February 2021 (view source) David Geleßus (talk \| contribs) (Remove broken custom formatting around documentation links) ← Older edit		Latest revision as of 11:04, 18 May 2021 (view source) David Geleßus (talk \| contribs) m (Update ProB2-UI link)
Line 21:		Line 21:

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