DMCA

L.: IIV: An invisible invariant verifier (2005)

by Ittai Balaban , Yi Fang , Amir Pnueli , Lenore D. Zuck
Venue:In: Computer Aided Verification (CAV
Citations:8 - 3 self