MAIN NOTIONS OF FORMALS APPROACHES

This course introduces the concepts of formal methods or verification tools.
 As expressed by the logician Hoare from the University of Oxford:"Computers are mathematical machines; computer programs are mathematical expressions; programming, like other branches of applied mathematics and engineering sciences, is a mathematical activity."

The overarching notion of a formal system is introduced, illustrating the concept of language and deductive apparatus.