Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68117OpenAlexW2496613029MaRDI QIDQ5898614

Muralidhar Talupur, Edmund M. Clarke, Helmut Veith

Publication date: 12 February 2007

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

Full work available at URL: https://doi.org/10.1007/11609773

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (16)

Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Model Checking Parameterized Systems ⋮ Compositional verification of smart contracts through communication abstraction ⋮ Mind the Shapes: Abstraction Refinement Via Topology Invariants ⋮ Learning Meets Verification ⋮ Multi-parameterised compositional verification of safety properties ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ The Spotlight Principle ⋮ Handling Parameterized Systems with Non-atomic Global Conditions ⋮ Parameterized verification of monotone information systems ⋮ Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems ⋮ Parameterized synthesis of self-stabilizing protocols in symmetric networks ⋮ Automatic Verification of Directory-Based Consistency Protocols ⋮ Approximated parameterized verification of infinite-state processes with global conditions ⋮ Parameterised verification for multi-agent systems

This page was built for publication: Verification, Model Checking, and Abstract Interpretation