UK Model Checking




Programme
Below is the workshop programme, with links to the speakers personal home pages and, if available, to the slides or notes of their talks (in pdf format).

Tuesday, 27th September 2005

10.00 - 11.00 Antti Valmari, Tampere University of Technology
What does theory say about the possibilities of improving efficiency?
11.00 - 11.30 Coffee Break
11.30 - 12.15 Michael Huth, Imperial College
Checking Underspecified Models: Applications and Research Issues
12.15 - 14.15 Lunch
14.15 - 15.00 Joachim Baran, University of Manchester
Sequential Composition vs. Concatenation in Eagle
15.00 - 15.30 Coffee
15.30 - 16.15 Leo Freitas, University of York
Model Checking Circus
16.15 - 17.00 Byron Cook, Microsoft Research
Abstraction-Refinement for Termination
17.00 - 17.45 Maria Sorea, University of Manchester
Dubious Witnesses and Spurious Counterexamples

Wednesday , 28th September 2005

09.30 - 10.15 Nestor Catano, University of York
Formal Modelling of a Slicing Algorithm for Event Spaces in PVS
10.15 - 11.00 Aleksandar Dimovski, Warwick University
Data-Abstraction Refinement for Game Based Model Checking
11.00 - 11.30 Coffee Break
11.30 - 12.15 Diyaa-Addein Atiya, University of York
A Benchmark for Model Checkers of Asynchronous Concurrent Systems
12.15 - 13.30 Lunch
13.30 - 14.15 Howard Barringer, University of Manchester
Run-Time Verification with EAGLE
14.15 - 15.00 Gerald Luettgen, University of York
Saturation: A Structured Approach to Model Checking Asynchronous Systems
15.00 - 15.30 Coffee
15.30 - 16.15 Jonathan Ezekiel, University of York
Shared Memory Saturation


Department of Computer Science, University of York, Heslington, York, YO10 5DD