The SLAM Toolkit

No abstract is available for this paper.

• Publication year

  2001

• Venue

  International Conference on Computer Aided Verification

• Publication date

  2001-07-18

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-44585-4_25
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatically validating temporal safety properties of interfaces

  2001cited by this paper
• Boolean and Cartesian abstraction for model checking C programs

  2001cited by this paper
• Automatic predicate abstraction of C programs

  2001cited by this paper
• Bebop: A Symbolic Model Checker for Boolean Programs

  2000cited by this paper

• OctoCache: Caching Voxels for Accelerating 3D Occupancy Mapping in Autonomous Systems

  2025cites this paper
• U-Turn: Enhancing Incorrectness Analysis by Reversing Direction

  2025cites this paper
• P4Inv: Inferring Packet Invariants for Verification of Stateful P4 Programs

  2024cites this paper
• Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials

  2024cites this paper
• Revealing Sources of (Memory) Errors via Backward Analysis

  2023cites this paper
• Loop Invariant Inference through SMT Solving Enhanced Reinforcement Learning

  2023cites this paper
• ParallelC-Assist: Productivity Accelerator Suite Based on Dynamic Instrumentation

  2023cites this paper
• Recursive Reinforcement Learning

  2022cites this paper
• ARCoA: Using the AR-Assisted Cooperative Assembly System to Visualize Key Information about the Occluded Partner

  2022cites this paper
• Verification of Programs with Exceptions Through Operator Precedence Automata

  2021cites this paper
• Unbounded Procedure Summaries from Bounded Environments

  2021cites this paper
• Postmortem accurate IR-level state recovery for deployed concurrent programs

  2021cites this paper
• Abstraction Refinement-Based Verification of Timed Automata

  2021cites this paper
• Context-bounded verification of thread pools

  2021cites this paper
• STRAB: state recovery using reverse execution at IR level for concurrent programs

  2021cites this paper
• Interval counterexamples for loop invariant learning

  2020cites this paper
• Verified from Scratch: Program Analysis for Learners' Programs

  2020cites this paper
• Incremental predicate analysis for regression verification

  2020cites this paper
• Search-Based Software Testing for Formal Software Verification - and Vice Versa

  2020cites this paper
• Organized by

  2020cites this paper
• Automatic Verification of LLVM Code

  2020cites this paper
• Bounded Verification of State Machine Models

  2020cites this paper
• Abstraction Refinement Algorithms for Timed Automata

  2019cites this paper
• Debugging of Behavioural Models using Counterexample Analysis

  2019cites this paper
• Efficient Strategies for CEGAR-Based Model Checking

  2019cites this paper
• Principled Unearthing of TCP Side Channel Vulnerabilities

  2019cites this paper
• Web AR: A Promising Future for Mobile Augmented Reality—State of the Art, Challenges, and Insights

  2019influential citation
• Kernel Vulnerability Analysis: A Survey

  2019cites this paper
• COFIE: a regex-like interaction and control flow description

  2019cites this paper
• Dynamic Symbolic Execution with Descriptive and Prescriptive Relations

  2019cites this paper
• Verification of OS-level cache management

  2018cites this paper
• Abstraction and Abstraction Refinement

  2018cites this paper
• A short introduction to program algebra with instructions for Boolean registers

  2018cites this paper
• HPC Software Verification in Action: A Case Study with Tensor Transposition

  2018cites this paper
• Combining Model Checking and Testing

  2018influential citation
• Theta: A framework for abstraction refinement-based model checking

  2017cites this paper
• Failure-Directed Program Trimming (Extended Version)

  2017cites this paper
• Loop Invariants from Counterexamples

  2017cites this paper
• Automatic loop-invariant generation anc refinement through selective sampling

  2017cites this paper
• On narrowing the gap between verification and systematic testing

  2017cites this paper
• Towards Model Checking of Network Applications for IoT System Development

  2017cites this paper
• Failure-directed program trimming

  2017cites this paper
• Algorithmic Verification of Component-based Systems

  2017cites this paper
• FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

  2017cites this paper
• Refining Trace Abstraction using Abstract Interpretation

  2017cites this paper
• Advances in verification presented in TACAS’13

  2017cites this paper
• Effective Bug Finding in C Programs with Shape and Effect Abstractions

  2017cites this paper
• Formal methods and finite element analysis of hurricane storm surge: A case study in software verification

  2017cites this paper
• Narrowing the gap between verification and systematic testing

  2017cites this paper
• Learning Disjunctive Invariants based on Loop Structures

  2017cites this paper
• Formal Methods for Biological Systems: Languages, Algorithms, and Applications

  2016cites this paper
• Automatic generation of specifications using verification tools = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen

  2016cites this paper
• Formal Verification With Frama-C: A Case Study in the Space Software Domain

  2016cites this paper
• Between Testing and Verification: Dynamic Software Model Checking

  2016cites this paper
• Maximal specification synthesis

  2016cites this paper
• Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle. (A method for designing critical software system coupled with a formal verification approach)

  2016cites this paper
• Component-based verification using incremental design and invariants

  2016cites this paper
• Transaction flows and executable models: formalization and analysis of message-passing protocols

  2015cites this paper
• Compositional safety verification with Max-SMT

  2015cites this paper
• 53 25 v 3 [ cs . F L ] 2 0 Ja n 20 15 Runtime Verification Based on Register Automata

  2015cites this paper
• ar X iv : 1 41 1 . 61 18 v 3 [ cs . S E ] 2 3 O ct 2 01 5 Software Artifact Choreographed Software Engineering

  2015cites this paper
• Automatic program analysis using Max-SMT

  2015cites this paper
• Array Bounds Model Checking in C Code Based on Predicate Abstraction

  2015cites this paper
• Staged Points-to Analysis for Large Code Bases

  2015cites this paper
• Software Verification with Program-Graph Interpolation and Abstraction

  2015cites this paper
• Integrating Formal Methods with Model-Driven Engineering

  2015cites this paper
• Generating Specifications for Recursive Methods by Abstracting Program States

  2015cites this paper
• Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing

  2015cites this paper
• Automated incremental software verification

  2015cites this paper
• Proving Nontermination via Safety

  2014cites this paper
• Code Drones

  2014cites this paper
• Coexecutability : How To Automatically Verify Loops

  2014cites this paper
• Algorithmic verification of procedural programs in the presence of code variability

  2014cites this paper
• Proving nontermination via safety January 18 , 2014

  2014cites this paper
• Program Analysis as Model Checking

  2014cites this paper
• Humanizing Software Artifacts: Software Engineering with Intelligent and Social Software Artifacts as our Friends

  2014cites this paper
• 25 Years of Model Checking

  2014cites this paper
• May/Must Abstraction-Based Software Model Checking for Sound Verification and Falsification

  2014cites this paper
• Verifying Recursive Programs Using Intraprocedural Analyzers

  2014cites this paper
• Dynamic Invariant Generation for Multithreaded Programs

  2014cites this paper
• Symbolic optimization with SMT solvers

  2014cites this paper
• Software Model Checking

  2014cites this paper
• Model Driven Development of Data Sensitive Systems

  2014influential citation
• Software Artifact Choreographed Software Engineering

  2014cites this paper
• Modular Software Model Checking for Distributed Systems

  2014cites this paper
• Scalable multi-core model checking

  2014cites this paper
• Extensions des automates d'arbres pour la vérification de systèmes à états infinis. (Tree automata extensions for verification of infinite states systems)

  2014cites this paper
• Better Termination Proving through Cooperation

  2013cites this paper
• Extending Java Pathfinder (JPF) with property classes for verification of Android permission extension framework

  2013cites this paper
• Introduction to Embedded Systems - A Cyber-Physical Systems Approach

  2013influential citation
• Automated formal analysis and verification: an overview

  2013cites this paper
• Program Analysis as Model Checking

  2013cites this paper
• Artificial intelligence based cognitive routing for cognitive radio networks

  2013cites this paper
• Experimenting with Predicate Abstraction

  2013cites this paper
• Analysis of Boolean Programs

  2013cites this paper
• Monitoring and recovery for web service applications

  2013cites this paper
• Verification as Learning Geometric Concepts

  2013cites this paper
• Model Checking Distributed Systems against Temporal-Epistemic Specifications

  2013cites this paper
• Inductive invariant generation via abductive inference

  2013influential citation
• Verification of Function Approximations

  2013cites this paper