FAQ

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
051019792018

Related topics

Related topics

7 relations
Abstraction model checkingBLASTDevice driver synthesis and verificationList of tools for static code analysis
(More)

Broader (1)

Formal methods

Related mentions per year

Related mentions per year

1955-2018
1960198020002020
SLAM project
Model checking
Formal methods
Microsoft Research
Device driver synthesis and verification
List of tools for static code analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Temporally scalable visual SLAM using a reduced pose graph
In this paper, we demonstrate a system for temporally scalable visual SLAM using a reduced pose graph representation. Unlike… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 7
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Comprehensive Simulation of Quadrotor UAVs Using ROS and Gazebo
Quadrotor UAVs have successfully been used both in research and for commercial applications in recent years and there has been… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2011
Highly Cited
2011
A decade of software model checking with SLAM
SLAM is a program-analysis engine used to check if clients of an API follow the API's stateful usage rules. 
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2009
2009
The YogiProject: Software Property Checking via Static Analysis and Testing
We present Yogi, a tool that checks properties of C programs by combining static analysis and testing. Yogi implements the Dash… (More)
  • figure 1
  • table 1
Is this relevant?
2007
2007
EKF SLAM updates in O(n) with Divide and Conquer SLAM
In this paper we describe divide and conquer SLAM (D&C SLAM), an algorithm for performing simultaneous localization and mapping… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Cogent: Accurate Theorem Proving for Program Verification
Many symbolic software verification engines such as Slam and ESC/Java rely on automatic theorem provers. The existing theorem… (More)
  • figure 1
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… (More)
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… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Automatically Validating Temporal Safety Properties of Interfaces
We present a process for validating temporal safety properties of software that uses a well-defined interface. The process… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Automatic Predicate Abstraction of C Programs
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However… (More)
Is this relevant?