*** This version of Confluence is for testing only and contains a copy of content from June 29th 2026. No changes will be preserved. ***

Skip to main content

Page History

Versions Compared

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

...