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… 
Review
2007
Review
2007
Formal Methods for Specifying, Validating, and Verifying Requirements
  • C. Heitmeyer
  • Journal of universal computer science (Online)
  • 2007
  • Corpus ID: 10453020
This paper describes the specification, validation and verification of system and soft- ware requirements using the SCR tabular… 
2007
2007
From Resilience-Building to Resilience-Scaling Technologies: Directions -- ReSIST NoE Deliverable D13
interpretation theory [Cousot & Cousot 1977] gives a formal meaning to what is meant by abstraction: A concrete semantics… 
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)