Journey Through Formal Verifications

Prerequisites: You should know some functional programming — I give an introduction of it in the dependent languages chapter.