For a Human-Centered AI

#formal methods


  • October 15, 2022
    Formal Methods in Computer-Aided Design: pushing boundaries
    The ES unit of Digital Industry Centre (FBK) co-organized this year edition of the International Conference on Formal Methods in Computer-Aided Design (FMCAD). It's the 22nd in a series of conferences on theory and applications of formal methods in hardware and system verification. The conference has been held in Trento last Oct. 18th and 19th