Publication:4494394
From MaRDI portal
zbMath0957.68068MaRDI QIDQ4494394
Publication date: 10 August 2000
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
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 static analysis and case-based search space partitioning for reducing peak memory in model checking, 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, Using heuristic search for finding deadlocks in concurrent systems, Liveness by Invisible Invariants