Alloy and/or Liquid Haskell

[dalaing]

These are both lightweight formal methods backed by SAT/SMT solvers that seem pretty approachable. Alloy seems more useful for initial planning and prototyping, while LiquidHaskell seems more useful for making sure that your implementation behaves according to the spec/refinements.

I'll need a bit of time to play around with both of these, but will be keen to talk about them once I have.

[frasertweedale]

I'm still interested to hear about LH if someone can present? Otherwise we should probably close this due to old age.