symbolic simulation approach to assertional program verification (2006)

by John Matthews, Sandip Ray J Strother Moore, Daron Vroon