Verification, Model Checking, and Abstract Interpretation

DOI10.1007/11609773zbMath1176.68117MaRDI 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

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

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

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