Formal Methods with a Touch of Magic

Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina. Formal Methods with a Touch of Magic. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. pages 138-147, IEEE, 2020. [doi]

Abstract

Abstract is missing.