SpecForge – A Platform for Authoring Formal Specifications

4 comments

• $poslathian 2 minutes ago

  Nice, very LTL

• $itomato an hour ago

  Whose formalities? The horse still comes first.

• $abbasov_murad 2 hours ago

  This method is certainly good to learn, but I had some difficulties understanding it

• $IshKebab 4 hours ago

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