The correctness of nondeterministic programs revisited

DOI10.1016/0020-0190(86)90090-6zbMath0614.68011OpenAlexW1988714691MaRDI QIDQ1819925

Leszek Holenderski

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

zbMATH Keywords

first-order logictotal correctnessnondeterministic programsbreadth-first execution methoddepth-first execution method

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• PARLOG

Cites Work

• Unnamed Item
• On the total correctness of nondeterministic programs
• The correctness of nondeterministic programs
• PARLOG: parallel programming in logic
• Communicating sequential processes
• Programming as a Discipline of Mathematical Nature

This page was built for publication: The correctness of nondeterministic programs revisited