The correctness of nondeterministic programs revisited

DOI10.1016/0020-0190(86)90090-6MaRDI QIDQ1819925zbMATH OpenOpenAlexFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 3885853 (Why is no real title available?)
• Communicating sequential processes
• On the total correctness of nondeterministic programs
• PARLOG: parallel programming in logic
• Programming as a Discipline of Mathematical Nature
• The correctness of nondeterministic programs

Describes a project that uses

Uses Software

• PARLOG

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1819925)