Mixed symbolic representations for model checking software programs.

Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic

Browse the full MEMOCODE paper archive.