What, Why, and How of Formal Methods (2019)
Why don't people use formal methods? (2019) (HN)
F* - Verification system for effectful programs.
Last updated 5 years ago
Was this helpful?
