Tool Seminar:SLAM Overview
From Dependability
| Overview | | Schedule | | Syllabus | | 2006 Project Guidelines | | Tool List | | Editing Guidelines |
Vibha will present:
 link
| Automatically Validating Temporal Safety Properties of Interfaces, Thomas Ball, Sriram K. Rajamani, SPIN 2001, Workshop on Model Checking of Software, LNCS 2057, May 2001, pp. 103-122. |
This paper discusses the SLAM model checker, by Microsoft.