In this tutorial we present the area of formal verification of systems on Chips. The paper discuss the following topics: different approaches of formal logic such as first order logic, high order logic, temporal logic. ...