Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

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

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Research Statement
My research is in the areas of program synthesis, formal verification, and static analysis. As a result of advances in… 
2017
2017
Building a system similar to the HoloLens by integrating LSD-SLAM into our AR Oculus Rift stereo engine for realworld camera tracking
In this paper, we cover the process of integrating Large-Scale Direct Simultaneous Localization and Mapping (LSD-SLAM) [1… 
2017
2017
US 7 , 694 , 276 B 2 Page 2 OTHER PUBLICATIONS
OTHER PUBLICATIONS (75) Inventors: James R. Larus, Mercer Island, WA (US); Sriram K. Rajamani, Bellevue, st 5. Ming Components… 
2008
2008
Slam Poetry and the Poetry Slam : A Research Guide
Poetry slam, a relatively new phenomenon in the United States, emerged out of inner city Chicago in the mid 1980s. Since that… 
2006
2006
Slicing Execution for Model Checking C Programs
This paper presents a novel method, namely slicing execution, for model checking C programs with respect to temporal safety… 
2005
2005
Deciding Assertions in Programs with References
Modular analysis of procedures using summaries is a key technique to improve scalability of software model checking. Existing… 
Review
2004
Review
2004
Lazy Abstraction on Software Model Checking
This paper is a survey of the BLAST, which is a software model checker for C programs developed at Berkeley. Based on the popular… 
2002
2002
From Speci cations to Programs or How to Construct Programs in the Internet Age
|One of the most important problems in software development is the gap between the intended behaviour of a program (i.e. the… 
2000
2000
Towards Automating the Iterative Rapid Prototyping Process with the SLAM system
There are two ways of constructing a reliable system. One is to make it so simple that there are no obvious deeciencies. The… 
1996
1996
EVALUATION METHODOLOGY FOR ENERGY IMPACTS OF TRAFFIC NETWORK BASED ON URBAN TRANSPORT TELEMATICS (T.T.) SERVICES: THE SLAM PROJECT IN FLORENCE
The paper presents a tool, and its accompanied methodology, for the operational support of the Local Authority to analyze the…