4 ms·

Do you have any suggestions for courses teaching practical formal methods?

• exdsq 6y ago
  These aren’t courses, but I recommend looking at TLA+ and Alloy. Some of my colleagues use Isabelle, Coq, and Agda too, but the first two seem most relevant to learn.
  • gpm 6y ago
    I've also heard good things about lean.
    • exdsq 6y ago
      I forgot about Lean, but yeah I’ve heard good things too! Hillel Wayne has a good email list I recommend where he sends weekly posts on different tools :)