scientific article; zbMATH DE number 2102703

zbMath1046.68589MaRDI QIDQ4817541

Satyaki Das, Seung Joon Park, David L. Dill

Publication date: 24 September 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (19)

Predicate Abstraction for Program Verification ⋮ Model Checking Parameterized Systems ⋮ Algebraic simulations ⋮ Program verification with interacting analysis plugins ⋮ Specification and verification of data-driven Web applications ⋮ Program verification using symbolic game semantics ⋮ Efficient SAT-based bounded model checking for software verification ⋮ Correctness kernels of abstract interpretations ⋮ Competent predicate abstraction in model checking ⋮ Predicate abstraction in a program logic calculus ⋮ Abstractions of data types ⋮ A local approach for temporal model checking of Java bytecode ⋮ Predicate Abstraction in a Program Logic Calculus ⋮ An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures ⋮ Compositional Predicate Abstraction from Game Semantics ⋮ Counter Abstraction in the CSP/FDR setting ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems ⋮ Using heuristic search for finding deadlocks in concurrent systems ⋮ Verifying time partitioning in the DEOS scheduling kernel

This page was built for publication: