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
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
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
Review
2007
Review
2007
This paper describes the specification, validation and verification of system and soft- ware requirements using the SCR tabular… Expand
  • figure 1
  • table I
  • table II
  • table III
  • figure 2
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
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
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
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
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
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… Expand
  • figure 1