The SLAM project at Microsoft Research
investigates the relationships between Software (Specifications),
Languages, Analysis, and Model checking. Our goal is to be able to
check that software satisfies critical behavioral properties of the
interfaces it uses, and to aid software engineers in designing
interfaces and software to ensure reliable and correct functioning. The SLAM project is an effort of the Software Productivity
Tools Research group.
Interesting work on automatic verifaction, including methods for applying model checking to software.
The site includes some recent papers and presentations. The presentation contains a good summary of the various approaches to software verification.
Posted to theory by Ehud Lamm on 9/26/01; 2:50:05 AM