1 Introduction Formal verification (also known as model checking or property checking or even bug hunting) is the art of using complex mathematical algorithms to exhaustively verify the ...