Formula-based abstractions and symbolic execution for model checking programs.

Antonella Santone Gigliola Vaglini Formula-based abstractions and symbolic execution for model checking programs. 69-76 2004 28 Microprocessors and Microsystems 2 http://dx.doi.org/10.1016/S0141-9331(03)00127-3 db/journals/mam/mam28.html#SantoneV04