Get the latest tech news
SpecForge – A Platform for Authoring Formal Specifications
Whirlwind Tour This section is a quick introduction to SpecForge’s main capabilities through a hands-on example. We’ll explore how to write specifications in the Lilo language and analyze them using SpecForge’s VSCode extension.
None
Or read this on Hacker News
