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
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… 
2011
2011
Kalman Filter Correction with Rational Non-linear Functions: Application to Visual-SLAM
This article deals with the divergence of the Kalman filter when used on rational non-linear observation functions in the Visual… 
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
FORMALIZING COUNTEREXAMPLE-DRIVEN REFINEMENT WITH WEAKEST PRECONDITIONS
T oc heck as afety property of a program, it i ss ufficient to check the property on a na bstraction that has more behaviors than… 
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
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… 
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… 
1999
1999
A modeling framework for impact assessment of urban transport systems
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… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)