Search Results

Formal verification methods for hardware systems, such as theorem proving, property-based verification, equivalence checking, notions of correctness such as refinement, methods used in computer-aided verification including BDDs and SAT procedures. {Also offered for graduate credit - see ECE 479.}.