Partial, total and general correctness

DOI10.1007/978-3-642-13321-3_11MaRDI QIDQ3575271zbMATHOpenAlexFDO

Authors Walter Guttmann

Publication date 26 July 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-13321-3_11

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semirings (16Y60)

Recommendations

• General correctness algebra
• General correctness: A unification of partial and total correctness
• Unifying Recursion in Partial, Total and General Correctness
• Unifying correctness statements
• Semantic models for total correctness and fairness

Cited in

(15)

• Typing theorems of omega algebra
• Semantic models for total correctness and fairness
• Normal forms in total correctness for while programs and action systems
• scientific article; zbMATH DE number 1531378 (Why is no real title available?)
• Semantic models for total correctness and fairness
• General correctness: A unification of partial and total correctness
• Infinite executions of lazy and strict computations
• scientific article; zbMATH DE number 3986619 (Why is no real title available?)
• Fixpoints for general correctness
• General correctness algebra
• Unifying correctness statements
• On completeness of omega-regular algebras
• Unifying lazy and strict computations
• Algebras for iteration and infinite computations
• scientific article; zbMATH DE number 3921953 (Why is no real title available?)

This page was built for publication: Partial, total and general correctness

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