On logic, formal verification and decision procedures - Part I
This post tries to be the enstablishment of a series that aims to introduce the use of formal
methods and decision procedures in computer science and software engineering. The structure
adopted st...