Modular Verification of Code with SAT

Authors:

Greg Dennis, Felix Sheng-Ho Chang, and Daniel Jackson

Publication Venue:

International Symposium on Software Testing and Analysis (ISSTA), Portland, ME, July 2006

When Published:

Jul 17 2006

Attachment	Size
dennis_modular.pdf	266.28 KB

by gdennis

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte

Search