Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5898614
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
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