Settings and Session Management
User Settings
DISABLED!
News
07.12.2009
ProB 1.3.1 is available. Highlights: new datastructure for large sets and relations (see FM 2009), multi-level validation for Event-B, improved constraint propagation for boolean connectives, and many more.
ProB 1.3.1 is available. Highlights: new datastructure for large sets and relations (see FM 2009), multi-level validation for Event-B, improved constraint propagation for boolean connectives, and many more.
20.03.2009
ProB 1.3.0-Final is available for download. Highlights: New parser and integrated typechecker, install as AtelierB plugin, improved kernel with support for large sets/relations, improved CSP support, faster LTL model checker, Undo/Redo in text editor, graphical formula viewer, user definable custom animations with gifs.
ProB 1.3.0-Final is available for download. Highlights: New parser and integrated typechecker, install as AtelierB plugin, improved kernel with support for large sets/relations, improved CSP support, faster LTL model checker, Undo/Redo in text editor, graphical formula viewer, user definable custom animations with gifs.
21.11.2008
The ProB Plug-in for Rodin 0.9 is available from the update site http://www.stups.uni-duesseldorf.de/update/
The ProB Plug-in for Rodin 0.9 is available from the update site http://www.stups.uni-duesseldorf.de/update/
05.11.2008
ProB 1.2.7 has been available for some time. Highlights: support for CSP-M (FDR compliant), custom animation functions, LTL model checking. ProB 1.3.0 is available in ALPHA form. Highlights: brand new parser (more AtelierB compliant), integrated type checker.
ProB 1.2.7 has been available for some time. Highlights: support for CSP-M (FDR compliant), custom animation functions, LTL model checking. ProB 1.3.0 is available in ALPHA form. Highlights: brand new parser (more AtelierB compliant), integrated type checker.
08.03.2007
ProB 1.2.6 is available. Highlights: support for including renamed and parameterised machines.
ProB 1.2.6 is available. Highlights: support for including renamed and parameterised machines.
16.02.2007
ProB 1.2.5 is available. Highlights: timeout feature, beta of ProZ included.
ProB 1.2.5 is available. Highlights: timeout feature, beta of ProZ included.
04.12.2006
ProB 1.2.4 is available. Highlights: support for WHILE loops and IMPORTS.
ProB 1.2.4 is available. Highlights: support for WHILE loops and IMPORTS.
02.10.2006
A new version of ProB is available for download. Highlights: debug properties and support for B4Free Event-B syntax (MODELS, WHEN).
A new version of ProB is available for download. Highlights: debug properties and support for B4Free Event-B syntax (MODELS, WHEN).
31.08.2006
The new web site of ProB is finally online, along with a new version of ProB (1.2).
The new web site of ProB is finally online, along with a new version of ProB (1.2).
Powered by Trac 0.10.4
By Edgewall Software.
Visit the ProB site at
http://www.stups.uni-duesseldorf.de/ProB/