Panel: given that hardware verification has been an uphill battle, what is the future of software verification?

Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer

Browse the full MEMOCODE paper archive.