DOI10.1016/0020-0190(82)90092-8zbMath0526.68009OpenAlexW2067263293MaRDI QIDQ594577
Eliezer Upfal
Publication date: 1982 Published in: Information Processing Letters (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0020-0190(82)90092-8
zbMATH Keywords
dynamic logicnondeterminismbacktrackingpartial correctnesstotal correctness
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work