Formal verification

Links

• What, Why, and How of Formal Methods (2019)

• Why don't people use formal methods? (2019) (HN)

• F* - Verification system for effectful programs.