08:5708:57, 13 January 2021diffhist+1,157 N
Template:ProBSourceCode
Created page with " The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/..."
11:5311:53, 9 June 2020diffhist+569 N
LTSmin
Created page with "== LTSmin Extension of ProB == In order to set up LTSmin, do the following: * Download the latest LTSmin release: https://github.com/utwente-fmt/ltsmin/releases and extract..."
09:1009:10, 29 April 2020diffhist+2,618 N
ProB History
Created page with "== A small history of ProB == ProB's development started in 2001 with a first alpha release made in October 2003. It filled a gap in the B tooling landscape at the time, sup..."
16:4516:45, 21 April 2020diffhist+671 N
Induction Proofs in B
Created page with " The classical B and Event-B method are both rooted in classical predicate logic and do not have an explicit inference rule for induction. The B proof rules for invariant pres..."
07:4907:49, 17 April 2020diffhist+973 N
ProB for Railways
Created page with " == Data Validation == ProB is being used within Siemens, Alstom, Thales and several other companies for data validation of complicated properties for safety critical systems...."
10:3410:34, 16 April 2020diffhist+1,535 N
Operation Calls in Expressions
Created page with " As of version 1.10.0 ProB allows you to call query operations in expressions. In general, B forbids to call operations in expressions: an operation is a substitution which c..."
10:2010:20, 5 March 2020diffhist+582 N
Rodin POs and ProB
Created page with " What is the relationship between Rodin proof obligations (POs) and ProB. == ProB Prover Disprover == ProB can be applied to individual POs by clicking the ProB button in th..."
06:0206:02, 29 September 2019diffhist+30,044 N
File:Logxml xsd.xml
Created page with "<?xml version="1.0" encoding="UTF-8"?> <!-- Schema Declaration file for probcli's xml log files generated by -logxml XMLFILE command --> <!-- Version: 29th September 2019, for..."
12:0412:04, 18 July 2019diffhist+1,500 N
VisB
Created page with "== VisB == VisB is a plugin for ProB2-UI. It can be downloaded at [https://www3.hhu.de/stups/downloads/prob2/plugins/ https://www3.hhu.de/stups/downloads/prob2/plugins/]. ==..."