Lilo Language

Lilo is a formal specification language designed for describing, verifying and monitoring the behavior of complex, time-dependent systems.

Lilo allows you to:

• Write expressions using a familiar syntax with powerful temporal operators for defining properties over time.
• Define data structures using records to model your system's data.
• Structure your specifications using systems.