Skip to search formSkip to main contentSkip to account menu

SLAM project

Known as: Slam 
The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques. It is… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
We describe an interpolant-based approach to test generation and model checking for sequential programs The method generates… 
Review
2007
Review
2007
This paper describes the specification, validation and verification of system and soft- ware requirements using the SCR tabular… 
2006
2006
Traditionally, the SLAM problem solves the localization and mapping problem in explored and sensed regions. This paper presents a… 
2005
2005
The software analysis community has made a lot of progress in creating software tools for detecting defects and performing proofs… 
Highly Cited
2004
Highly Cited
2004
The SLAM project originated in Microsoft Research in early 2000. Its goal was to automatically check that a C program correctly… 
Highly Cited
2002
Highly Cited
2002
The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good… 
2002
2002
The goal of the SLAM project is to check whether or not a program obeys "API usage rules" that specify what it means to be a good… 
Highly Cited
2002
Highly Cited
2002
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally… 
Review
2002
Review
2002
  • N. Shankar
  • 10th Anniversary Colloquium of UNU/IIST
  • 2002
  • Corpus ID: 11318639
Verification seeks to prove or refute putative properties of a given program. Deductive verification is carried out by…