/

Issues

Go to advanced search

I encountered a problem when trying to use ProB co...

Dec 22, 2020

I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...

Oct 31, 2020

The version TK8.5 is in incompatible with the my v...

Oct 19, 2020

Hi, I have ProB 1.9.2 installed on Windows 10 t...

Apr 5, 2020

Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machine

Nov 28, 2019

Library archives for ProB 2 do not include fuzz

Nov 21, 2019

Enable graph dot display fails for CAN_BUS_tlc

Jul 20, 2019

As we know, Points = {s1,s2,s3} equal Poi...

Aug 13, 2018

B machine not precompiled for b_get_machine_const...

Aug 6, 2018

prob2_interface:extract_result/6 can produce incorrect error terms

Apr 27, 2018

Statically detect read of uninitialized variables

Sep 27, 2017

probcli built for macOS 10.12, crashes on OS X 10.11

Sep 20, 2017

Top-level sanity check should detect when machines are included

Jun 27, 2017

Kodkod Bug with non-membership test

Jun 23, 2017

Evaluating INT results in a well-definedness error

May 3, 2017

Explanation of REUSE_OPERATION is not clear

Jul 29, 2016

Wrong location in error message

Apr 18, 2016

Kodkod Bug with Card Operator

Apr 18, 2016

Add reified versions of is_sequence and is_total_function, is_partial_function

Apr 6, 2016

Too verbose error message

Mar 31, 2016

Heap Space Error with Parser on Windows for Test 810

Mar 17, 2016

constraint solving or >-> version of n-queens slow

Mar 4, 2016

Cannot use Formal machine parameters with multiple instantiation

Oct 26, 2015

released version 1.5.0 not available in JIRA

Oct 22, 2015

error dialog does not display the file path of the error location

Oct 22, 2015

incorrect error reported for constant defined in machine with multiple instances

Oct 9, 2015

Kodkod translation fails

Aug 19, 2015

Kodkod process does not support a Timeout

Aug 14, 2015

Report a readable error message when executing TLC4B with an inappropriate java version.

Jul 31, 2015

CTL formulae of the type "A(xUy)", "E(xWy)", and "A(xWy)" not supported yet

Jul 30, 2015

CTL Model Checking: Parser error for the CTL formula "E(xUy)"

Jul 30, 2015

CTL Model Checking (non-informative counterexamples)

Jul 29, 2015

missing argument in static_analysis.pl

Jul 28, 2015

missing import of add_error_fail/3 in ast_cleanup_for_smt.pl

Jul 28, 2015

missing dynamic declaration in b_machine_hierarchy.pl

Jul 28, 2015

wrong arity call in ltl_fairness.pl

Jul 28, 2015

missing import in state_space_open_nodes_c

Jul 28, 2015

misspelled predicate in model_translation.pl

Jul 28, 2015

CTL parser does not provide support for using transition propositions [...] within CTL formulae

Jul 28, 2015

missing import in pge_algo.pl

Jul 28, 2015

missing import in ltl_tools

Jul 28, 2015

custom_expilicit_sets calls custom_explicit_set/1 which does not exist

Jul 28, 2015

state_space asserts and retracts dynamic predicates from other module

Jul 28, 2015

Missing predicate foldl/3 in ztransformations

Jul 28, 2015

Call to non-existing add_error_fail/4 in pref_definitions.pl

Jul 28, 2015

Missing predicate translate_enable_res/6

Jul 28, 2015

Missing argument in call

Jul 28, 2015

Duplicate field names in records should not be permitted

Jul 24, 2015

translate.pl calls wrong predicate

Jul 23, 2015

Operation enabling condition ignores operation calls

Jun 29, 2015

Showing 1-50 of 263