SpecForge – A Platform for Authoring Formal Specifications

 (docs.imiron.io)

56 points | by agnishom 5 hours ago

4 comments

  • poslathian 3 minutes ago
    Nice, very LTL
  • itomato 50 minutes ago
    Whose formalities? The horse still comes first.
  • abbasov_murad 1 hour ago
    This method is certainly good to learn, but I had some difficulties understanding it
  • IshKebab 3 hours ago
    Strong SVA vibes. Also it seems to be only free for non-commercial use. Interesting anyway!