The correctness of nondeterministic programs revisited
From MaRDI portal
Publication:1819925
DOI10.1016/0020-0190(86)90090-6zbMath0614.68011OpenAlexW1988714691MaRDI QIDQ1819925
Publication date: 1986
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(86)90090-6
first-order logictotal correctnessnondeterministic programsbreadth-first execution methoddepth-first execution method
Uses Software
Cites Work
This page was built for publication: The correctness of nondeterministic programs revisited