Proving nondeterministically specified safety properties using progress measures
From MaRDI portal
Publication:1317438
DOI10.1006/INCO.1993.1064zbMath0799.68136OpenAlexW2059073369MaRDI QIDQ1317438
Fred B. Schneider, Nils Klarlund
Publication date: 24 March 1994
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/1813/7044
verificationsubset constructionnondeterministic automataprogram automatonprogress measuresspecification automaton
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
Reversibility in the higher-order \(\pi\)-calculus ⋮ Layout randomization and nondeterminism ⋮ Layout Randomization and Nondeterminism
This page was built for publication: Proving nondeterministically specified safety properties using progress measures
