/

Issues

Go to advanced search

ProB hangs after starting model check

Oct 18, 2018

Export to ProB Classic does not work

Feb 9, 2016

Internal Error instead of properly reported well-definedness error

Feb 2, 2016

ModelCheckingDialog does not store user selection

Oct 9, 2015

List theory does not work in ProB Plug-in

Sep 14, 2015

Rendering of ... is strange

Jun 23, 2015

No feedback when timeout in INITIALISATION

Jun 23, 2015

Check Documentation for ProB 1

May 21, 2015

Error messages in Animator after Disprover run

Feb 4, 2015

LTL Model Check fails when number of new nodes exceeded

Jan 30, 2015

Number of variables in a pre-post predicate

Aug 30, 2014

LTL Counterexample is not displayed in the History

Jun 17, 2014

LTL does not work anymore

Jun 16, 2014

BMotionStudio throws cast exception in Rodin3

Jun 5, 2014

Disprover should report needed hypotheses back to Rodin

Jun 4, 2014

Allow to submit POs

Jun 1, 2014

input fields for units / symbolic are not available anymore

May 14, 2014

Assertion Checking: No feedback after model checking run

May 6, 2014

NullPointer Exception when Full Coverage in Model Checking reached

Apr 12, 2014

On animating a machine with pro-B, I get an error which says "Residue: root: '$partial_setup_constants: context = ERROR CONTEXT: OPERATION: $partial_setup_constants, state ID: root, state: root;"

Apr 4, 2014

Variants trigger a translation error

Mar 26, 2014

Invarants occurr multiple times in the translated model

Feb 10, 2014

PROBPLUGIN - No user feedback when TIME-OUT occurs during SETUP CONSTANTS

Jan 27, 2014

Disprover: Free identifiers in the proof are not handled correctly

Jan 27, 2014

PROBPLUGIN: ProB Animate Menu for Shared Event Composed Machine

Jan 20, 2014

PROBPLUGIN - Disprover does not work with Theory Plugin

Jan 20, 2014

PROBPLUGIN Theory Support Bug for Parameters

Jan 19, 2014

PROBPLUGIN - State View Expression does not allow Theory Plugin operators

Jan 14, 2014

PROBPLUGIN - LTL Counter-Example View - cannot display a counter example

Jan 13, 2014

Error launching ProB Animation (If parent machine being extended has theorems in guards)

Jan 10, 2014

PROBPLUGIN - ProB 1 for Rodin - Execute with Custom Guard Issues

Dec 20, 2013

PROB - ProB for Rodin cannot start when special character in path

Nov 29, 2013

Closing the Events View and reopening it again throws a NullPointerException

Nov 15, 2013

Translation fails

Nov 6, 2013

"becomes such as" operation causes unhandled loop exception

Oct 30, 2013

Observer:Simple value Display Control

Aug 19, 2013

PROB Rodin - Export error message upon warnings misleading

May 29, 2013

ProB does not release memory after model checking

May 17, 2013

Update Wiki (Disprover / Symbolic Constants / Units)

Apr 22, 2013

ProB for Rodin should support theorems in guards

Apr 18, 2013

Apr 13, 2013

memory leak triggered by Context contents

Apr 11, 2013

Create way to export Event-B files for ProB 2.0

Apr 9, 2013

Outdated: http://wiki.event-b.org/index.php/Disprover

Apr 8, 2013

Command for checking initialised status is out of date

Apr 4, 2013

Disprover unable to type variables of refined machines

Mar 27, 2013

Translation Crashes if Symbolic Constants Plugin is not installed

Mar 23, 2013

ProB Rodin: cannot animate machine m1 - export for ProB classic silently fails

Mar 9, 2013

Change Model checking options to fit with Prolog refactoring

Feb 20, 2013

Units not translated in contexts

Jan 15, 2013

Showing 1-50 of 96