CS 595 - Topics in Automated Verification - Fall 2000

Tevfik Bultan and Jianwen Su


In this seminar we will discuss the research problems we are currently working on, and the new results in the area of automated verification.

Weekly meeting time:

Monday, 12:15pm, Eng. I room 2114


Papers (Tentative list)