SpecForge: A Platform for Authoring Formal Specifications with Lilo
SpecForge – A Platform for Authoring Formal Specifications
I introduce SpecForge, a platform designed to simplify writing formal specifications for hybrid systems using the Lilo language. Through a hands-on tour, I demonstrate how to define system requirements, monitor behavior, generate valid traces, and find counterexamples. The process leverages the VSCode extension and Python SDK to ensure safety and correctness in complex engineering projects.
If the exemplified data does not behave as expected, the specification might be wrong and need to be corrected.
- giancarlostoro
The word "AI-Powered" is shown on the front-page of this project as such:
An AI-powered platform for developers to "forge" rigorous and precise system specifications through an iterative process of formalization and analysis.
This title should maybe include that so people are aware that if you adopt this tool, there is some expectation that AI is involved, unless it's an AI optional product, then they need to clarify.
- itomato
Whose formalities? The horse still comes first.
- abbasov_murad
This method is certainly good to learn, but I had some difficulties understanding it