Jump to Content

Model checking sequential software programs via mixed symbolic analysis

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

Abstract

Research Areas