Tag
SpecForge is a platform for authoring formal specifications using the Lilo temporal specification language, providing a VSCode extension with syntax highlighting, type-checking, and satisfiability analysis for hybrid systems.