Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,489,295 papers from all fields of science
Search
Sign In
Create Free Account
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
Create Alert
Alert
Related topics
Related topics
7 relations
Abstraction model checking
BLAST
Device driver synthesis and verification
List of tools for static code analysis
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Lazy Annotation for Program Testing and Verification
K. McMillan
CAV
2010
Corpus ID: 4504430
We describe an interpolant-based approach to test generation and model checking for sequential programs The method generates…
Expand
Review
2007
Review
2007
Formal Methods for Specifying, Validating, and Verifying Requirements
C. Heitmeyer
J. Univers. Comput. Sci.
2007
Corpus ID: 10453020
This paper describes the specification, validation and verification of system and soft- ware requirements using the SCR tabular…
Expand
2006
2006
Simultaneous localization and mapping with environmental structure prediction
H. Chang
,
C. S. Lee
,
Yung-Hsiang Lu
,
Y. C. Hu
Proceedings IEEE International Conference on…
2006
Corpus ID: 796094
Traditionally, the SLAM problem solves the localization and mapping problem in explored and sensed regions. This paper presents a…
Expand
2005
2005
The Verified Software Challenge: A Call for a Holistic Approach to Reliability
T. Ball
VSTTE
2005
Corpus ID: 8707625
The software analysis community has made a lot of progress in creating software tools for detecting defects and performing proofs…
Expand
Highly Cited
2004
Highly Cited
2004
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft
T. Ball
,
B. Cook
,
V. Levin
,
S. Rajamani
IFM
2004
Corpus ID: 12749431
The SLAM project originated in Microsoft Research in early 2000. Its goal was to automatically check that a C program correctly…
Expand
Highly Cited
2002
Highly Cited
2002
The SLAM project: debugging system software via static analysis
T. Ball
,
S. Rajamani
POPL '02
2002
Corpus ID: 15523605
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
BallThomas
,
K. RajamaniSriram
2002
Corpus ID: 215948893
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
T. Ball
,
A. Podelski
,
S. Rajamani
International Journal on Software Tools for…
2002
Corpus ID: 6860114
We show how to attack the problem of model checking a C program with recursive procedures using an abstraction that we formally…
Expand
Review
2002
Review
2002
Verification by Abstraction
N. Shankar
10th Anniversary Colloquium of UNU/IIST
2002
Corpus ID: 11318639
Verification seeks to prove or refute putative properties of a given program. Deductive verification is carried out by…
Expand
1999
1999
A modeling framework for impact assessment of urban transport systems
G. Ambrosino
,
P. Sassoli
,
M. Bielli
,
P. Carotenuto
,
M. Romanazzo
1999
Corpus ID: 17786823
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