Model Checking: an Introduction to Bisimulation – Hans-Dieter HiepThis post is a general introduction to model checking, and is written in the style of a hands-on tutorial. The intended audience of this article are programmers of functional languages, such as Haskell, not afraid of monads, yet unfamiliar with model checking or bisimulation. (Since this is a tutorial, “you” is the reader, and “we” are the reader and the author.) We explore only the most basic con
