The Search for the Perfect Program

What makes a good program? Let's find out!

This time we'll talk about one of the must-haves - correctness - and how to bring it to the real world. Assertions and random generators, symbolic execution and types... The question is what actually works? How does it work? And, even more important, when?

Buzzwords: quotations, FsCheck, Pex, Z3, F*

http://cl.ly/image/2U0Y3h0s3C1R/meet-pex-flip.png