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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
2005
2005
The Verified Software Challenge: A Call for a Holistic Approach to Reliability
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
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
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
Is this relevant?
Highly Cited
2001
Highly Cited
2001
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
Is this relevant?
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