Hardware model checker takes gold at international competition
Work by Karem Sakallah, professor of computer science and engineering, and PhD student Aman Goel took first place at the 11th edition of the Hardware Model Checking Competition, an event hosted by the Conference on Formal Methods in Computer-Aided Design to determine the best current method for formally verifying a hardware system. The event featured nine categories composed… Read More »