Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
This paper describes the system developed by the Centre for English Corpus Linguistics for the 2018 Duolingo SLAM challenge. It… Expand
  • table 3
  • table 1
  • table 4
  • table 2
  • table 5
Is this relevant?
2011
2011
We present an algorithm for computing directly the denotation of a @m-calculus formula @g over the configuration graph of a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe an interpolant-based approach to test generation and model checking for sequential programs The method generates… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 6
Is this relevant?
2006
2006
Traditionally, the SLAM problem solves the localization and mapping problem in explored and sensed regions. This paper presents a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
The software analysis community has made a lot of progress in creating software tools for detecting defects and performing proofs… Expand
Is this relevant?
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… Expand
Is this relevant?
2003
2003
In this paper we consider techniques to identify and remove redundant predicates during predicate abstraction. We give three… Expand
  • figure 1
  • table 1
Is this relevant?
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… Expand
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally… Expand
  • figure 1
Is this relevant?