Results for "Formal verification"

Projects

There are no results.

Faculty

Jacob Abraham

Affiliated Departments:
Cockrell School of Engineering, Electrical and Computer Engineering
Research Interests:

Jacob A. Abraham is a professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin. He is also director of the Computer Engineering Research Center and holds the Cockrell…