Lambda the Ultimate

inactiveTopic SLAM project at Microsoft Research
started 9/26/2001; 2:49:19 AM - last post 9/26/2001; 2:49:19 AM
Ehud Lamm - SLAM project at Microsoft Research  blueArrow
9/26/2001; 2:49:19 AM (reads: 2668, responses: 0)
SLAM project at Microsoft Research
(via HtP)

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