scientific article; zbMATH DE number 1798184

zbMath0996.68560MaRDI QIDQ4553257

Thomas Ball, Sriram K. Rajamani

Publication date: 4 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (18)

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification ⋮ Abstraction and Abstraction Refinement ⋮ Combining Model Checking and Testing ⋮ Data structures for symbolic multi-valued model-checking ⋮ Verification of programs with exceptions through operator precedence automata ⋮ Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction ⋮ A model checking-based approach for security policy verification of mobile systems ⋮ Efficient strategies for CEGAR-based model checking ⋮ Monitoring and recovery for web service applications ⋮ Unbounded procedure summaries from bounded environments ⋮ On model checking multiple hybrid views ⋮ Loop summarization using state and transition invariants ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ A local approach for temporal model checking of Java bytecode ⋮ Embedded software verification using symbolic execution and uninterpreted functions ⋮ SLAM ⋮ Stochastic Modelling of Communication Protocols from Source Code ⋮ Automated formal analysis and verification: an overview

This page was built for publication: