Formal methods has a lot of practical application but the tools and techniques are very inaccessible to the average SME. We need better tools. For example, here

Formal methods has a lot of practical application but the tools and techniques are very inaccessible to the average SME. We need better tools. For example, here is a demo of how to use an SMT solver to write better system requirements: http://slra1.baselines.cloud/ http://slra1.baselines.cloud/