12:4512:45, 23 January 2012diffhist+7,269 N
TLA
Created page with 'As of version 1.3.5, ProB supports [http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html TLA+]. = Using ProB for Animation and Model Checking of TLA+ specification…'
07:1407:14, 24 December 2011diffhist+1,801 N
Tutorial Modeling Infinite Datatypes
Created page with '__NOTOC__ This tutorial describes how to model (and how not to model) infinite datatypes so that they can be animated with ProB. We illustrate this using a Stack datatype. This …'
11:2211:22, 17 November 2011diffhist+1,151 N
Prolog Coding Guidelines
Created page with ' * Module Information Every module should be annotated with module information. This is used by our coverage analysis tool. <pre> :- module(MYMODULE, [ exported_predicate/arit…'