Model checking sequential software programs via mixed symbolic analysis

Zijiang Yang
Chao Wang
Aarti Gupta
ACM Trans. Design Autom. Electr. Syst., 14(2009)

Abstract

Research Areas