A gently curated list of companies using verification formal methods in industry (by ligurio)

Practical-fm Alternatives

Similar projects and alternatives to practical-fm

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better practical-fm alternative or higher similarity.

practical-fm reviews and mentions

Posts with mentions or reviews of practical-fm. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-09-14.
  • We Need Simpler Types (speculations on what can be improved in future type systems and on erasing the boundaries between types and values)
    2 projects | /r/ProgrammingLanguages | 14 Sep 2022 Look for Coq, Agda, Idris, MS - F*.
  • Formal Verification Methods in industry
    4 projects | /r/compsci | 31 Jan 2022
    When you say "formal verification methods", what kind of techniques are you interested in? While using interactive theorem provers will most likely not become very widespread, there are plenty of tools that use formal techniques to give more correctness guarantees. These tools might give some guarantees, but do not guarantee complete functional correctness. WireGuard (VPN tunnel) is I think a very interesting application where they verified the protocol. There are also some tools in use, e.g. Mythril and CrossHair, that focus on detecting bugs using symbolic execution. There's also INFER from Facebook/Meta which tries to verify memory safety automatically. The following GitHub repo might also interest you, it lists some companies that use formal methods: practical-fm


Basic practical-fm repo stats
22 days ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives