Invariance and non-determinacy
From MaRDI portal
Publication:3334052
DOI10.1098/rsta.1984.0072zbMath0544.68011OpenAlexW2024274413MaRDI QIDQ3334052
Publication date: 1984
Published in: Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1098/rsta.1984.0072
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Deaccumulation techniques for improving provability ⋮ Reasoning about networks with many identical finite state processes ⋮ Efficiency of asynchronous systems, read arcs, and the MUTEX-problem ⋮ On the mechanical derivation of loop invariants
