19:1919:19, 3 June 2014diffhist+1,574 N
Event-B Theories
Created page with 'ProB has (limited) support for theories. Currently supported are (examples refer to the theory project below): * recursive datatypes (e.g. the List datatype) * operators defined…'
13:0113:01, 2 June 2014diffhist+2,248 N
Event-B
Created page with 'ProB supports animation and model-checking for Event-B specifications. == Installation == To install the ProB plugin for [http://www.event-b.org Rodin], open the "Help" menu in…'