DigiNews

Summary

SpecForge is a platform for authoring formal specifications using the Lilo language, with a VSCode extension for writing, analyzing, and exporting specs. It covers monitoring, exemplification, falsification, and cross-format export, illustrating a running example of a temperature-control system.