Versions Compared

Old Version 14

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 15

changes.mady.by.user Jim Entwood

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  1. Write the secification in EventML
    Image Modified
  2. Automatically generate and prove an Inductive Logical Form of the specification
  3. Synthesize code
  4. Diversify and deploy code

...