Tutorial: SMT and its Applications to Formal Verification

 

SMT and its Applications to Formal Verification

Alessandro Cimatti

Center for Information Technology, Trento, Italy

Abstract

TBA