swMATH3136MaRDI QIDQ15668FDOQ15668
Author name not available (Why is that?)
Official website: http://research.microsoft.com/en-us/projects/slam/
Cited In (only showing first 100 items - show all)
- Loop summarization using state and transition invariants
- Title not available (Why is that?)
- Computer Aided Verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- A saturation method for the modal \(\mu \)-calculus over pushdown systems
- Formal analysis of hierarchical state machines
- Verification, Model Checking, and Abstract Interpretation
- Static Analysis
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Whale: an interpolation-based algorithm for inter-procedural verification
- Abstraction Refinement for Quantified Array Assertions
- A practical linear time algorithm for trivial automata model checking of higher-order recursion schemes
- Model checking higher-order programs
- Data structures for symbolic multi-valued model-checking
- Computer Aided Verification
- Predicate abstraction for program verification
- Model checking procedural programs
- A model checking-based approach for security policy verification of mobile systems
- An integrated approach to high integrity software verification
- An extension of lazy abstraction with interpolation for programs with arrays
- Automatic decidability and combinability
- An automata-theoretic approach to infinite-state systems
- Context-aware counter abstraction
- Model Checking Software
- Dependent types from counterexamples
- Modular strategies for recursive game graphs
- Generating models of infinite-state communication protocols using regular inference with abstraction
- Behavioral interface specification languages
- A general framework for types in graph rewriting
- Runtime verification based on register automata
- Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Compositionality Entails Sequentializability
- Verification and falsification of programs with loops using predicate abstraction
- Model checking RAISE applicative specifications
- Refinement of Trace Abstraction
- On model checking multiple hybrid views
- Fluid updates: beyond strong vs. weak updates
- Refinement-based CFG reconstruction from unstructured programs
- CTIGAR
- SimGridMC
- Ultimate
- Ultimate Kojak
- ANaConDA
- CATG
- CPAlien
- FrankenBit
- Jakstab
- MU-CSeq
- CIL
- Angelix
- jCUTE
- SAFARI
- CAESAR
- F4F
- Calysto
- EUFORIA
- PQL
- AO4BPEL
- WALi
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Refining abstract interpretations
- Generalized property directed reachability
- Winning Regions of Pushdown Parity Games: A Saturation Method
- Con2colic
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods
- Specification and Verification of Multi-Agent Systems
- Monitoring and recovery for web service applications
- Static Analysis
- Proving Termination of Tree Manipulating Programs
- Tools and Algorithms for the Construction and Analysis of Systems
- Programming Languages and Systems
- Title not available (Why is that?)
- Counterexample-guided abstraction refinement for symmetric concurrent programs
- Title not available (Why is that?)
- Correctness kernels of abstract interpretations
- Tools and Algorithms for the Construction and Analysis of Systems
- FM 2005: Formal Methods
- Automatically Refining Abstract Interpretations
- Verification, Model Checking, and Abstract Interpretation
- A Lightweight Approach for Loop Summarization
- Computer Aided Verification
- Verification, Model Checking, and Abstract Interpretation
- Horn clause verification with convex polyhedral abstraction and tree automata-based refinement
- An introduction to practical formal methods using temporal logic
- EUFORIA: complete software model checking with uninterpreted functions
- Model Checking Software
- Static Analysis
- TopSpin
- Cogent
- FocusCheck
- ARMC
- ISP
- Dagger
- Bogor
- TSPASS
This page was built for software: SLAM