CS 595 - Topics in Automated Verification - Fall 2000

Tevfik Bultan and Jianwen Su


Goal:

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

Presentations:

Papers (Tentative list)