1. Chaki, S., et al.: Modular verification of software components in C. In: ICSE, pp. 385–395. IEEE Computer Society, Los Alamitos (2003)
2. Henzinger, T.A., et al.: Lazy abstraction. In: POPL, pp. 58–70 (2002)
3. Lecture Notes in Computer Science;T.A. Henzinger,2003
4. Pisini, V.K., et al.: Formal hardware verification by integrating HOL and MDG. In: Sarrafzadeh, M., Banerjee, P., Roy, K. (eds.) ACM Great Lakes Symposium on VLSI, pp. 23–28. ACM, New York (2000)
5. Bevier, W.R., et al.: An approach to systems verification. J. Autom. Reasoning 5(4), 411–428 (1989)