Tag: CEGAR
-
Best Paper Award for Capacity Verification at FMCAD 2018
My work with Bjørnar Luteberget and Koen Claessen (from Chalmers) won the Best Paper Award at the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD), which was held in Texas, USA, in November 2018.