Implementing Logics for Hardware Verification


Abstract

In a tutorial style I would like to present the theory of two important temporal logics (CTL and LTL) and show how they can be efficiently implemented using BDDs.


You are not logged in 
Contact 
©2002-2017 U.C. Regents