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.

@@ Line 2: / Line 2: @@
 [[Category:ProB Java API]]
-                    <p class="btn btn-lg btn-road">
+== Documentation ==
-		      <i class="fa fa-user"></i> [[ProB Java API Tutorial | Tutorial]]
+* [[ProB Java API Tutorial|Tutorial]]
-                    </p>
+* [https://www3.hhu.de/stups/handbook/prob2/prob_handbook.html#prob2-java-api Developer Manual]
-                    <p class="btn btn-lg btn-outline">
-		      <i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]]
+== Additional Material ==
-                    </p>
+*[[ProB 2.0 Development]]
-                    <p class="btn btn-lg btn-outline">
+*[https://github.com/bendisposto/prob2_tooling_template ProB 2.0 Tooling Template]
-		      <i class="fa fa-cog"></i> [[ProB Java API Developer Manual | Developer Manual]]
+*[[Programmatic_Abstractions_in_the_ProB_2.0_API]]
-                    </p>
+*[https://docs.google.com/document/pub?id=109z3qG6_KBUqm0NC9FaEF1C6_NYCJl453wcXzbovj2Q ProB 2.0 Requirements Document] <br/>(if you want to comment on the Document, please use goo.gl/KS2bh)
+*[[Media:Extending prob.pdf|Rodin User and Developer Workshop 2012 - Tutorial Presentation]]
+*[[Tutorial13|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/ 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.