07:4907:49, 17 April 2020diffhist+973 N
ProB for RailwaysCreated 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 ExpressionsCreated 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 ProBCreated 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..."