Verification via structure simulation

Authors

N Immerman
A Rabinovich
TW Reps
M Sagiv
G Yorsh

Publication Date

2004

Journal or Book Title

COMPUTER AIDED VERIFICATION

Pages

281-294

Volume

3114

Book Series Title

LECTURE NOTES IN COMPUTER SCIENCE

Recommended Citation

Immerman, N; Rabinovich, A; Reps, TW; Sagiv, M; and Yorsh, G, "Verification via structure simulation" (2004). COMPUTER AIDED VERIFICATION. 566.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/566