Daily Build

OBP2 [download] [osx]
OBP2 Headless [download]  
Simulator [download] [osx]
OBP2 EMI [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]