Versions Compared

Old Version 13

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 14

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 Removed Image Added
  2. Automatically generate and prove an Inductive Logical Form of the specification
  3. Synthesize code
  4. Diversify and deploy code

...