Code Generation Tutorial

From Event-B
Revision as of 16:04, 7 December 2010 by imported>Andy
Jump to navigationJump to search

This Page is Under Construction

Tutorial

The aim of the tutorial is to give a allow users to explore the approach with a relatively simple example. The example uses a shared buffer and reader and writer process.

  • Step 1 - Create the tasking development.
  • Step 2 - Add annotations.
  • Step 3 - Invoke translators.