scientific article; zbMATH DE number 1487866

zbMath0957.68068MaRDI QIDQ4494394

K. L. McMillan

Publication date: 10 August 2000

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

zbMATH Keywords

compositional verificationdata type reductionstemporal case splitting

Mathematics Subject Classification ID

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

Related Items (12)

Combining static analysis and case-based search space partitioning for reducing peak memory in model checking ⋮ Model Checking Parameterized Systems ⋮ Automated circular assume-guarantee reasoning ⋮ Specification and encoding of transaction interaction properties ⋮ Formal communication elimination and sequentialization equivalence proofs for distributed system models ⋮ Automatic verification of reduction techniques in higher order logic ⋮ Combining search space partition and abstraction for LTL model checking ⋮ Abstractions of data types ⋮ An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps ⋮ Liveness by Invisible Invariants ⋮ Automated Circular Assume-Guarantee Reasoning ⋮ Using heuristic search for finding deadlocks in concurrent systems

This page was built for publication: