20:3020:30, 29 November 2011diffhist+240 N
Template:Case
Created page with '<div class="noprint" style="float:center; border:1px solid blue;width:400px;background-color:#FFFFFF;padding:3px;"> {{{text|{{{1}}}}} </div> <noinclude> {{Languages|Template:Than…'
08:4608:46, 4 October 2011diffhist+94 N
Evaluation View
Created page with 'This tutorial describes the use of ProB's evaluation view to explore single states of a model.'
12:4212:42, 14 February 2011diffhist+170 N
Building ProB on Windows
Created page with 'In case that you want to compile ProB from Source on Windows, here are some information about the setup: Required: # Sicstus (4.1.3) # Visual Studio 2005 # Cygwin & svn'
08:5708:57, 23 June 2010diffhist+131 N
File:ProB complete.psf
Eclipse Team Set - contains all subprojects, i.e. ProB code, B-Motion Studio, AnimationScript, Disprover and the Standalone Version
16:4116:41, 14 April 2010diffhist+214 N
Adding an own submenu
Created page with 'For submenus we usually need a menu contribution for both the standalone version and the plug-in version (For an explanation of the versions see [[What is the difference between …'
16:1116:11, 14 April 2010diffhist+1,847 N
Adding to an existing menu
Created page with 'We use the Eclipse Command Framework. This document describes how you can add a menu item "Open Website" to one of the ProB submenus (in this case Contact). 1. Create an exten…'
10:0410:04, 11 February 2010diffhist+119 N
Bugs
Created page with 'If you want to submit a bug report, please use the [http://asap0.cs.uni-duesseldorf.de/trac/prob/newticket bug tracker]'
17:1717:17, 18 January 2010diffhist+1,606 N
Troubleshooting
Created page with 'Category:User Manual * Avoid installing ProB in a path with spaces or other special characters in them. The same holds for B machines you wish to analyse with ProB. * You ne…'
17:1217:12, 18 January 2010diffhist+8,359 N
FAQ
Created page with 'Category:User Manual = How do I perform a self-check of ProB? = If you suspect something is wrong with your ProB installation, run the Perform Self Check command in the Debu…'
16:1916:19, 18 January 2010diffhist+11,060 N
Why Prolog?
Created page with 'In this chapter we try to answer the question: why did we use Prolog to develop the core of ProB, and in particular why do we use the commercial [http://www.sics.se/isl/sicstusww…'
15:3315:33, 18 January 2010diffhist+6,376 N
ProZ
Created page with 'Category:User Manual ProZ is a extension of the ProB animator and model checker to support Z specifications. It uses the Fuzz type checker by Mike Spivey [[http://spivey.orie…'
15:1615:16, 18 January 2010diffhist+3,481 N
CSP-M Syntax
Created page with '= Details of supported CSP-M syntax = Note: you can use the command "Summary of CSP syntax" in ProB's help menu to get an up-to-date list of the supported syntax, along with cur…'
15:0015:00, 18 January 2010diffhist+7,852 N
CSP-M
Created page with 'ProB supports machine readable CSP, as supported by FDR and ProBE. CSP files can be animated and model checked on their own, simply by opening a file ending with ".csp". You ca…'
14:1914:19, 18 January 2010diffhist+1,075 N
Refinement Checking
Created page with 'ProB can be used for refinement checking of B, Z and CSP specifications. Below we first discuss refinement checking for B machines. =What kind of refinement is checked?= ProB ch…'
13:1013:10, 18 January 2010diffhist+11,120 N
Graphical Visualization
Created page with 'The graphical visualisation of ProB enables to easily write custom graphical state representations in order to provide a better understanding of a model. With this method, one as…'
15:3215:32, 18 November 2009diffhist+597 N
Template:Revision
Created page with '{{mbox | type = content | image = 44x40px | text = {{#if:{{{1|}}}|Parts of this {{{type|article}}} (those related to {{{1|}}}) '''may no lo…'
15:1515:15, 18 November 2009diffhist+7,114 N
Animation
Created page with 'The animation facilities of ProB allow users to gain confidence in their specifications. These features try to be as user-friendly as possible (e.g., the user does not have to gu…'
15:1215:12, 18 November 2009diffhist+4,455 N
Types
Created page with 'ProB requires all constants and variables to be typed. As of version 1.3, ProB uses a new unification-based type inference and checking algorithm. As such, you should be able to …'
14:1214:12, 18 November 2009diffhist+1,351 N
General Presentation (tcl/tk)
Created page with '== The ProB Main Window == The menu bar contains the various commands to access the features of ProB. It includes the traditional File menu, with a submenu Recent Files to quick…'
15:4615:46, 16 November 2009diffhist+2,796 N
Installation
Created page with '== Which version shall I use? == The standalone version of ProB contains a richer set of features than the Rodin version and also works on other formalisms than Event-B (e.g., c…'
15:0615:06, 9 November 2009diffhist+1,434 N
Current Limitations
Created page with 'ProB requires all deferred sets to be given a finite cardinality. If no cardinality is specified a default size will be used. Also, mathematical integers will only be enumerated …'
14:2414:24, 6 November 2009diffhist+259 N
User Manual
Created page with '== Important notice == If you find a problem with ProB please let us know. We are happy to receive suggestions for improvements to ProB or the documentation. You might also want…'
12:4812:48, 6 November 2009diffhist+331 N
Team
Created page with 'ProB is based in research and implemention effort by: * Michael Leuschel, * Michael Butler, * Jens Bendisposto, * Daniel Plagge, * Fabian Fritz, * Corina Spermann, * Michael Jast…'