Experiment 1: Event-B basic subset to IL0 in *TL

From Event-B
Revision as of 11:30, 4 December 2009 by imported>Alexili (New page: === Plan of the first experiment === * Soton to provide basic setup for testing ETL: Soton [14 Dec] * Start developers’ wiki on eventb.org * All the bits are to be saved on Soton subve...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Plan of the first experiment

  • Soton to provide basic setup for testing ETL: Soton [14 Dec]
  • Start developers’ wiki on eventb.org
  • All the bits are to be saved on Soton subversion server
  • Define translation rule for:
    • algorithmic: sequential composition, explicit loop, if-then-else: Ncl [20 Dec]
    • mathematical language: arithmetics, functions (N +-> N): Soton [20 Dec]
  • Define the overall structure of translation rules, common helper functions and rules: All