Search results

Create the page "Multi-proof database" on this wiki! See also the search results found.

• Scenarios for Merging Proofs
  == Rodin database implementation == ...tabase/user/branch, ''O'' the ''other'' database/user/branch and ''A'' the database which reflects the common state from which ''L'' and ''O'' have departed (A
  6 KB (1,046 words) - 10:34, 27 October 2011
• Rodin Plug-ins
  ...ementations that make the state of a machine persistent by storing it in a database.
  5 KB (757 words) - 16:19, 13 February 2020
• Current Developments
  Be warn that, for now, it bypass the rodin database API and does parse the .bum and .buc files directly. It is also highly expe
  12 KB (1,869 words) - 16:35, 18 March 2014
• ADVANCE D3.2 General Platform Maintenance
  ...es an EMF representation of Event-B models with persistence into the Rodin database. * Re-base the Event-B EMF framework on the EMF model of the Rodin database (which is now available as a result of the development of a new Rodin edito
  20 KB (3,030 words) - 13:18, 18 July 2012
• EMF framework for Event-B
  ...For example this is used to store some information contained in the Rodin database, which must be preserved but is not of interest in the EMF modelling tools. ...a generic Rodin element. This saves having to define an equivalent Rodin database extension. The extension mechanism can also be used to store temporary vola
  26 KB (3,961 words) - 13:04, 19 May 2020
• Code Generation Activity
  ...ementations that make the state of a machine persistent by storing it in a database.
  17 KB (2,568 words) - 09:03, 19 October 2015