Partial, total and general correctness

DOI10.1007/978-3-642-13321-3_11zbMATH Open1286.68077OpenAlexW2142100108MaRDI QIDQ3575271FDOQ3575271

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

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

Mathematics Subject Classification ID

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

Cited In (12)

• Typing theorems of omega algebra
• Title not available (Why is that?)
• Fixpoints for general correctness
• On Completeness of Omega-Regular Algebras
• Algebras for iteration and infinite computations
• General correctness: A unification of partial and total correctness
• Infinite executions of lazy and strict computations
• Semantic models for total correctness and fairness
• Semantic models for total correctness and fairness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unifying Lazy and Strict 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)