2nd International Workshop on Verification, Model Checking and Abstract Interpretation

2^nd International Workshop on Verification, Model Checking and Abstract Interpretation

September 19, 1998 Pisa (Italy)

Preliminary Program
h. 9.00 - Session I: Model checking

R. Mateescu: Local model checking of an alternation-free value-based modal mu-calculus

C.R. Ramakrishnan and R. Sekar: Model-based vulnerability analysis of computer systems

F. Levi : Abstract model checking by constraint abstraction
h. 10.30. Coffee Break

h. 11.00 - Session II:Abstract Interpretation

P.Stevens: Abstract interpretation of games

Lunjin Lu: Computing the reduced product of program analyses

Discussion
h. 12.30 - Lunch

h. 14.30 - Session III: State Machines & Verification

P. Argon, G. Delzanno, S. Mukhophadhyay and A. Podelski: Verifying communicating finite-state machines

P. Asirelli and S. Gnesi: Specification and verification of reactive systems using a deductive database

Discussion
h. 16.00 - Coffee Break

h. 16.30 - Session IV: Verification

G. Levi and P. Volpe: Abstract diagnosis of call errors

A. Bossi and S. Rossi: Verifying partital correctness of logic programs delay declarations

Discussion
h. 18.00 - End of the Workshop

Workshop Home Page