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

Related topics

Related topics

7 relations
Abstraction model checkingBLASTDevice driver synthesis and verificationList of tools for static code analysis
Expand

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Predicting Second Language Learner Successes and Mistakes by Means of Conjunctive Features
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
A saturation method for the modal μ-calculus over pushdown systems
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
Lazy Annotation for Program Testing and Verification
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
Formal Methods for Specifying, Validating, and Verifying Requirements
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
Simultaneous localization and mapping with environmental structure prediction
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
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
The SLAM project originated in Microsoft Research in early 2000. Its goal was to automatically check that a C program correctly… Expand
2003
2003
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates
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 SLAM project: debugging system software via static analysis
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 SLAM project
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
Boolean and Cartesian abstraction for model checking C programs
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
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE