scientific article; zbMATH DE number 4060687

MaRDI QIDQ3795191zbMATH OpenFDO

Authors Masaki Murakami

Publication date 1988

zbMATH Keywords

verificationpartial correctnessHorn logicparallel programming languagecontrol of nondeterminismGuarded Horn clauses

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4106262
• scientific article; zbMATH DE number 4074449
• scientific article; zbMATH DE number 41233
• Process algebra with guards: Combining hoare logic with process algebra
• scientific article; zbMATH DE number 970706

Cited in

(3)

• scientific article; zbMATH DE number 4106262 (Why is no real title available?)
• scientific article; zbMATH DE number 41233 (Why is no real title available?)
• Proving correctness of imperative programs by linearizing constrained Horn clauses

This page was built for publication:

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