scientific article

zbMath0963.68109MaRDI QIDQ2723423

Vineet Kahlon, E. Allen Emerson

Publication date: 5 July 2001

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 (31)

A case study on parametric verification of failure detectors ⋮ Structural Invariants for the Verification of Systems with Parameterized Architectures ⋮ Computing Parameterized Invariants of Parameterized Petri Nets ⋮ Model checking and abstraction to the aid of parameterized systems (a survey) ⋮ Control of parameterized discrete event systems ⋮ Parameterized model checking of rendezvous systems ⋮ Model Checking Parameterized Systems ⋮ Incremental design-space model checking via reusable reachable state approximations ⋮ Feature interaction detection by pairwise analysis of LTL properties -- A case study ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ Synthesis of large dynamic concurrent programs from dynamic specifications ⋮ Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems ⋮ Learning Meets Verification ⋮ Specification and encoding of transaction interaction properties ⋮ Parametrized invariance for infinite state processes ⋮ Multi-parameterised compositional verification of safety properties ⋮ An automatic abstraction technique for verifying featured, parameterised systems ⋮ Parameterized model checking of networks of timed automata with Boolean guards ⋮ Checking deadlock-freedom of parametric component-based systems ⋮ Verification of parametric concurrent systems with prioritised FIFO resource management ⋮ Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ Compositional CSP Traces Refinement Checking ⋮ An approach to the verification of symmetric parameterized distributed systems ⋮ Verifying Parameterized taDOM+ Lock Managers ⋮ Liveness by Invisible Invariants ⋮ Parameterized verification of monotone information systems ⋮ On Verifying Fault Tolerance of Distributed Protocols ⋮ Automated formal analysis and verification: an overview ⋮ Parameterised verification for multi-agent systems ⋮ Computing parameterized invariants of parameterized Petri nets

This page was built for publication: