), and logical operators ( && , || , => )Temporal Operators: Lilo’s distinguishing feature is its rich set of temporal logic operators:always φ : φ is true at all future times: is true at all future times eventually φ : φ is true at some future time: is true at some future time past φ : φ was true at some past time: was true at some past time historically φ : φ was true at all past timesThese operators can be qualified with time intervals, e.g., eventually[0, 10] φ means φ becomes true within 10 time units.
For a comprehensive guide to the language, see the Lilo Language chapter.
You provide recorded trace data, and SpecForge evaluates a specification against it.
The result is an analysis m…
39 минут назад @ docs.imiron.io
infomate