8:00
Breakfast
RESOLVE 2010 Workshop: Advances in Automated Verification
June 8, 2010, Olin Science Building, Denison University, Granville, OhioSession 1:
8:30
Heather Harton:
“Hypotheses Generation and Minimization in VC’s.”
“Hypotheses Generation and Minimization in VC’s.”
8:45
Bruce Adcock:
“Tracing Back for Clients and Tool Developers.”
“Tracing Back for Clients and Tool Developers.”
9:00
9:15
Diego Zaccai:
“Refuting Untrue Verification Conditions.”
“Refuting Untrue Verification Conditions.”
9:30
Discussion
9:45
Break
Session 2:
10:00
10:15
10:30
10:45
Chuck Cook:
“Integrated Web Interface for RESOLVE.”
“Integrated Web Interface for RESOLVE.”
11:00
Hampton Smith:
“Anatomy of a Platform for Prover Experimentation.”
“Anatomy of a Platform for Prover Experimentation.”
11:15
Discussion
11:30
Lunch
Session 3:
12:35
VC Proving Discussion
2:00
Break
2:15
Discussion
Notes:
The site for lunch will be announced at the workshop.
All other activities will be in Olin Hall, Second Floor.
It will be helpful to load all slide presentations on a single computer before the talks begin. You can send your slides ahead of time or bring them on a USB drive early enough to set them up before 8:30 on June 8.
Since the time slots are only 15 minutes long, please time your talk to be about 13 minutes to leave a bit of time for a couple of questions while the next talk is being opened.
All other activities will be in Olin Hall, Second Floor.
It will be helpful to load all slide presentations on a single computer before the talks begin. You can send your slides ahead of time or bring them on a USB drive early enough to set them up before 8:30 on June 8.
Since the time slots are only 15 minutes long, please time your talk to be about 13 minutes to leave a bit of time for a couple of questions while the next talk is being opened.
Page last updated May 28, 2010