Versions Compared

Old Version 40

changes.mady.by.user Jim Entwood

Saved on

compared with

New Version 41

changes.mady.by.user Jim Entwood

Saved on

Key

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

...

Step 1 - We write the Scout specification in EventML

EventML uses classes from the Formal Digital Library to describe events and protocols.

Step 2 - Generate the Inductive Logical Form (ILF)from the Scout specification

...