Relational mathematics for relative correctness

DOI10.1007/978-3-319-24704-5_12MaRDI QIDQ3460625zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 8 January 2016

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24704-5_12

zbMATH Keywords

absolute correctnessfault removalfaultsrefinement latticerefinement orderingrelative correctness

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On faults and faulty programs
• A relation algebraic model of robust correctness
• scientific article; zbMATH DE number 1104392
• General correctness: A unification of partial and total correctness
• General correctness algebra

Cited in

(4)

• A relation algebraic model of robust correctness
• On faults and faulty programs
• Toward a theory of program repair
• Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness

This page was built for publication: Relational mathematics for relative correctness

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