ProB Documentation - User contributions [en]

Download

2012-05-07T13:46:48Z

Marc Fontaine: /* Timed-CSP Simulator */

__NOTOC__
== Latest Release ==

Details of the [[ProBLicence| ProB Licence can be found here]].
Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
To use all of the features of the ProB Tcl/Tk version 1.3.4 you may have to install the <tt>tklib</tt> library (see Tcl/Tk notes below).

{| border="1"
! Platform
! Release Date
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.4-final
|-
| Linux
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux32.tar.gz Tarball (32bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux64.tar.gz Tarball (64bit)], 
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see [[#tklib|below]])
|-
| Windows
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows] with tklib (see [[#tklib|below]]),
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel (32-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.3-final
|-
| Linux
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
|-
| Windows
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.2-final
|-
| Mac OS X, Tiger, Intel
| 30. Jul 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
|-
| Linux
| 13. Jan 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
|-
| Mac OS X, PPC Tiger
| 07. Dec 2009
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball]
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}

Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] as indicated above (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.

== Tcl/Tk ==
Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3.


The latest Tcl/Tk version of ProB requires the text module from tklib. This
should come pre-installed on Mac and often on Windows as well (see below).
On Linux you need to install tklib. On Ubuntu just type <tt>sudo apt-get install
tklib</tt>. If you used the Active Tcl distribution, you need to type

<tt>sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85</tt>

on Linux.

Recently you can use ProB with Tcl/Tk 8.5 on Windows. If you have the older
version of Tcl/Tk 8.4 you have to install the newer one
8.5 (you should be able to also keep the older version). For Windows we recommend installing [http://downloads.activestate.com/ActiveTcl/releases/ ActiveTcl-8.5] (the win32-ix86-threaded version).
ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install
Tcl/Tk library extensions like <tt>tcllib</tt> and <tt>tklib</tt>.
To use the latest Tcl/Tk version of ProB you may have to install tklib. This library
can be installed on Windows with Teacup by typing

<tt>teacup install tklib85</tt>

into the Command Prompt, when you are logged in as an administrator.

== Nightly Build ==
You can download our nightly integration build from
[http://nightly.cobra.cs.uni-duesseldorf.de/tcl/ here].

Automatically generated test [http://nightly.cobra.cs.uni-duesseldorf.de/coverage/html/ coverage reports are also available].

Nightly builds of ProB for Rodin can be obtained from within Rodin by using the update site [http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/ http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/].

== Earlier Releases ==

If you are interested in earlier releases, please have a look at the [http://nightly.cobra.cs.uni-duesseldorf.de/releases/ Download directory].

== Timed-CSP Simulator ==

A version of ProB with built-in support for timed CSP is available on here:
[http://nightly.cobra.cs.uni-duesseldorf.de/timed-csp/ http://nightly.cobra.cs.uni-duesseldorf.de/timed-csp/]

Download

2012-05-04T13:03:49Z

Marc Fontaine: /* Timed-CSP Simulator */

__NOTOC__
== Latest Release ==

Details of the [[ProBLicence| ProB Licence can be found here]].
Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
To use all of the features of the ProB Tcl/Tk version 1.3.4 you may have to install the <tt>tklib</tt> library (see Tcl/Tk notes below).

{| border="1"
! Platform
! Release Date
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.4-final
|-
| Linux
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux32.tar.gz Tarball (32bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux64.tar.gz Tarball (64bit)], 
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see [[#tklib|below]])
|-
| Windows
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows] with tklib (see [[#tklib|below]]),
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel (32-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.3-final
|-
| Linux
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
|-
| Windows
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.2-final
|-
| Mac OS X, Tiger, Intel
| 30. Jul 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
|-
| Linux
| 13. Jan 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
|-
| Mac OS X, PPC Tiger
| 07. Dec 2009
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball]
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}

Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] as indicated above (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.

== Tcl/Tk ==
Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3.


The latest Tcl/Tk version of ProB requires the text module from tklib. This
should come pre-installed on Mac and often on Windows as well (see below).
On Linux you need to install tklib. On Ubuntu just type <tt>sudo apt-get install
tklib</tt>. If you used the Active Tcl distribution, you need to type

<tt>sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85</tt>

on Linux.

Recently you can use ProB with Tcl/Tk 8.5 on Windows. If you have the older
version of Tcl/Tk 8.4 you have to install the newer one
8.5 (you should be able to also keep the older version). For Windows we recommend installing [http://downloads.activestate.com/ActiveTcl/releases/ ActiveTcl-8.5] (the win32-ix86-threaded version).
ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install
Tcl/Tk library extensions like <tt>tcllib</tt> and <tt>tklib</tt>.
To use the latest Tcl/Tk version of ProB you may have to install tklib. This library
can be installed on Windows with Teacup by typing

<tt>teacup install tklib85</tt>

into the Command Prompt, when you are logged in as an administrator.

== Nightly Build ==
You can download our nightly integration build from
[http://nightly.cobra.cs.uni-duesseldorf.de/tcl/ here].

Automatically generated test [http://nightly.cobra.cs.uni-duesseldorf.de/coverage/html/ coverage reports are also available].

Nightly builds of ProB for Rodin can be obtained from within Rodin by using the update site [http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/ http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/].

== Earlier Releases ==

If you are interested in earlier releases, please have a look at the [http://nightly.cobra.cs.uni-duesseldorf.de/releases/ Download directory].

== Timed-CSP Simulator ==

A version of ProB with built-in support for timed CSP is available on here:
[http://nightly.cobra.cs.uni-duesseldord.de/timed-csp/ http://nightly.cobra.cs.uni-duesseldord.de/timed-csp/]

Download

2012-05-04T12:58:02Z

Marc Fontaine:

__NOTOC__
== Latest Release ==

Details of the [[ProBLicence| ProB Licence can be found here]].
Note: please use the provided start scripts (StartProB.sh or StartProBWin.bat) to start ProB.
To use all of the features of the ProB Tcl/Tk version 1.3.4 you may have to install the <tt>tklib</tt> library (see Tcl/Tk notes below).

{| border="1"
! Platform
! Release Date
! Download
! Dependencies
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.4-final
|-
| Linux
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux32.tar.gz Tarball (32bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.linux64.tar.gz Tarball (64bit)], 
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5 with tklib (see [[#tklib|below]])
|-
| Windows
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.5 for Windows] with tklib (see [[#tklib|below]]),
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel (64-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel (32-bit)
| 27. Nov 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.4/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.3-final
|-
| Linux
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux.tar.gz Tarball (32bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.linux64.tar.gz Tarball (64bit)], [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/prob_1.3.3_i386.deb Ubuntu/Debian package (32bit)]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.5
|-
| Windows
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.windows.32bit.zip Zipfile (with probcli)]
| [http://downloads.activestate.com/ActiveTcl/releases/ Tcl/Tk 8.4 for Windows],
[http://java.com/en/ Java Runtime Environment (5.0 or newer)]
|-
| Mac OS X, Snow Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.6.6.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| Mac OS X, Leopard, Intel
| 10. Feb 2011
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.3/ProB.mac_os.10.5.8.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.2-final
|-
| Mac OS X, Tiger, Intel
| 30. Jul 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.2/ProB_tiger_intel.tar.gz Tarball (with probcli)]
| [http://www.activestate.com/activetcl/downloads/ Tcl/TK 8.4],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|-
|-
| colspan="4" style="background-color:lightgrey;" | 1.3.1-final
|-
| Linux
| 13. Jan 2010
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final5/ProB-linux-1.3.1final5.tar.gz Tarball]
| Java Runtime Environment (5.0 or newer), Tcl/Tk 8.4
|-
| Mac OS X, PPC Tiger
| 07. Dec 2009
| [http://nightly.cobra.cs.uni-duesseldorf.de/releases/1.3.1final3/ProB-ppctiger-1.3.1final3.tar.gz Tarball]
| [http://www.tcl.tk/software/tcltk/8.5.html Tcl/TK 8.5],
[http://www.pixelglow.com/graphviz/ Graphviz for Mac OS X]
|}

Note: for version 1.3.3 on Snow Leopard (Mac OS X 10.6.x) you have to install a [http://www.activestate.com/activetcl/downloads/ corrected version of Tcl/Tk] as indicated above (the distribution provided by Apple is broken). In version 1.3.4 we managed to circumvent the bug.

== Tcl/Tk ==
Please note that Tcl/Tk 8.6 is not yet supported by SICStus Prolog. Also note that on Mac OS X you may have to reinstall Tcl/Tk using one of the links given above (because the Tcl/Tk provided by Apple crashes after opening a file using the standard file selection dialog). On Snow Leopard (Mac OS X 10.6.x) you have to install Tcl/Tk as indicated above for ProB 1.3.3.


The latest Tcl/Tk version of ProB requires the text module from tklib. This
should come pre-installed on Mac and often on Windows as well (see below).
On Linux you need to install tklib. On Ubuntu just type <tt>sudo apt-get install
tklib</tt>. If you used the Active Tcl distribution, you need to type

<tt>sudo /opt/ActiveTcl-8.5/bin/teacup install tklib85</tt>

on Linux.

Recently you can use ProB with Tcl/Tk 8.5 on Windows. If you have the older
version of Tcl/Tk 8.4 you have to install the newer one
8.5 (you should be able to also keep the older version). For Windows we recommend installing [http://downloads.activestate.com/ActiveTcl/releases/ ActiveTcl-8.5] (the win32-ix86-threaded version).
ActiveTcl-8.5 installs an additional tool "Teacup", with which you can install
Tcl/Tk library extensions like <tt>tcllib</tt> and <tt>tklib</tt>.
To use the latest Tcl/Tk version of ProB you may have to install tklib. This library
can be installed on Windows with Teacup by typing

<tt>teacup install tklib85</tt>

into the Command Prompt, when you are logged in as an administrator.

== Nightly Build ==
You can download our nightly integration build from
[http://nightly.cobra.cs.uni-duesseldorf.de/tcl/ here].

Automatically generated test [http://nightly.cobra.cs.uni-duesseldorf.de/coverage/html/ coverage reports are also available].

Nightly builds of ProB for Rodin can be obtained from within Rodin by using the update site [http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/ http://nightly.cobra.cs.uni-duesseldorf.de/rodin/updatesite/].

== Earlier Releases ==

If you are interested in earlier releases, please have a look at the [http://nightly.cobra.cs.uni-duesseldorf.de/releases/ Download directory].

== Timed-CSP Simulator ==

[http://nightly.cobra.cs.uni-duesseldord.de/timed-csp/ Here] you can find a version of ProB with built-in support for timed CSP.