The SLAM toolkit

DOI10.1007/3-540-44585-4_25MaRDI QIDQ4553257zbMATH OpenFDO

Authors Thomas Ball, Sriram K. Rajamani

Publication date 4 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44585-4_25

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Cited in

(19)

• SLAM
• A local approach for temporal model checking of Java bytecode
• Efficient strategies for CEGAR-based model checking
• Unbounded procedure summaries from bounded environments
• Loop summarization using state and transition invariants
• Embedded software verification using symbolic execution and uninterpreted functions
• Stochastic modelling of communication protocols from source code
• Automated formal analysis and verification: an overview
• Whale: an interpolation-based algorithm for inter-procedural verification
• Abstraction and abstraction refinement
• Combining model checking and testing
• Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction
• An automata-theoretic approach to infinite-state systems
• A model checking-based approach for security policy verification of mobile systems
• Monitoring and recovery for web service applications
• Verification of programs with exceptions through operator precedence automata
• Solving String Theories Involving Regular Membership Predicates Using SAT
• Data structures for symbolic multi-valued model-checking
• On model checking multiple hybrid views

This page was built for publication: The SLAM toolkit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553257)