Partial, total and general correctness

DOI10.1007/978-3-642-13321-3_11MaRDI QIDQ3575271zbMATH OpenOpenAlexFDO

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

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

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

(16)

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

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)