Daily Build

OBP2	[download]	[osx]
OBP2 Headless	[download]
Simulator	[download]	[osx]
OBP2 Remote	[download]	[osx]
OBP2 Headless Remote	[download]	[osx]

v1.0.0

[13 december 2021]

OBP2	[download]	[osx]
OBP2 Headless	[download]
Simulator	[download]	[osx]
OBP2 Remote	[download]	[osx]
OBP2 Headless Remote	[download]	[osx]

v0.0.8

[3 march 2020]

Command line interface Improved GUI : gray-out fired transitions Added support for state-event LTL Trim counter-example

OBP2	[download]	[osx]
OBP2 Headless	[download]
Simulator	[download]	[osx]
OBP2 EMI	[download]	[osx]
OBP2 Remote	[download]	[osx]
OBP2 Headless Remote	[download]	[osx]

v0.0.6

[8 december 2018]

Refactoring of the user interface. Define a model in the editor directly (for textual specification languages only)

Model-checking :

• added a button to run all verification tasks
• CSV export of the verification results

Simulation :

• The fireable transitions based on the transition relation
• Button to change the verticality of the simulation trace
• Improvements on the configuration view (expand tree, show only differences)
• Deadlock finding from any configuration
• Added watch expressions on the configurations
• go until true/false for groups of watch expressions

OBP2	[download]	[osx]
Simulator	[download]	[osx]
OBP2 EMI	[download]	[osx]

v0.0.5

Various small improvements

OBP2 v0.0.5

[download]

[osx]

v0.0.4

[16 avril 2018]

Initial model-checking interface and simulation improvements

Model-checking :

• LTL model-checking of GPSL specifications
• Multiple language support
• Counter-example loaded in the simulation view
• Dynamic generation of verification tasks based on the specification

Simulation :

• the fireable transitions based on the state-space
• show the difference between configurations
• show configuration details in the traceview
• added generic configuration view, based on a tree

OBP2 v0.0.4

[download]

v0.0.3

Initial proof of concept supporting:

• multi-language
• exploration
• simulation

OBP2 v0.0.3

[download]