SpecForge – A Platform for Authoring Formal Specifications

# Summary SpecForge is a platform for authoring formal specifications using the Lilo language, an expression-based temporal specification language designed for hybrid systems. Lilo features primitive types, standard operators, and distinguishing temporal logic operators (always, eventually, past, historically) that can be qualified with time intervals, organized into systems containing signals, parameters, types, definitions, and specifications. The platform includes a VSCode extension that enables users to write and analyze specifications, with a temperature control system serving as a practical example demonstrating how to define safety requirements and temporal constraints.