scientific article; zbMATH DE number 1798184
From MaRDI portal
Publication:4553257
zbMath0996.68560MaRDI QIDQ4553257
Thomas Ball, Sriram K. Rajamani
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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: