3 ms·

I’ve recently had a interest in formal verification in regards to programming, but my background is so god awful I’m afraid to approach it. How does F* fair for

I’ve recently had a interest in formal verification in regards to programming, but my background is so god awful I’m afraid to approach it. How does F* fair for beginners with little prior exposure?

haskellandchill 6y ago
This tutorial aims to be beginner friendly, assuming you have a background in functional programming. However the pace is very brisk and would serve better for an intermediate learner familiar with the concepts. As a practical tool it would not provide much unless you really know what you are doing and plan to leverage the use of SMT Solvers and code generation. You'd be better off with simpler and more focused learning materials. The Little Prover or Software Abstractions for example.
ernst_klim 6y ago
> but my background is so god awful I suggest you to read (or rather solve) this masterpiece https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/