Formal Methods with a Touch of Magic.

Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina

Browse the full FMCAD paper archive.