UB ScholarWorks

Browsing Engineering Journal Articles by Subject "High order logic"

Browsing Engineering Journal Articles by Subject "High order logic"

Sort by: Order: Results:

  • 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. ...

Search ScholarWorks


Advanced Search

Browse

My Account