logoalt Hacker News

SpecForge – A Platform for Authoring Formal Specifications

36 points • by agnishom • today at 10:35 AM • 1 comment • view on HN

Comments

IshKebab • today at 11:45 AM

Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!