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.
Gilad Bracha envisions a future where software engineers use AI to translate informal requirements into formal specs and review them, while AI implements and verifies code. The human ensures the formal spec is correct, writing only natural language.