CSEE 6863: Formal Verification

Formal methods for hardware and software verification

Instructor: Franjo Ivancic, Michael Theobald

Term: Fall

Location: Columbia University, New York, NY