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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
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
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
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
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
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
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
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 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
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
Model checking has been widely successful in validating and debugging designs in the hardware and protocol domains. However… (More)
Is this relevant?