Elleithy, Khaled M.
(Kluwer Academic Publishing, 2003)
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. ...