Deciding bit-vector arithmetic with abstraction (2007)

by Randal E. Bryant , Daniel Kroening , Joël Ouaknine , Sanjit A. Seshia , Ofer Strichman , Bryan Brady
Venue:IN PROC. TACAS 2007
Citations:43 - 16 self