Relational Mathematics for Relative Correctness

DOI10.1007/978-3-319-24704-5_12zbMath1471.68057OpenAlexW2279884163WikidataQ57526047 ScholiaQ57526047MaRDI QIDQ3460625

No author found.

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

faultsrefinement orderingfault removalrelative correctnessabsolute correctnessrefinement lattice

Mathematics Subject Classification ID

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

Related Items (1)

Toward a theory of program repair

This page was built for publication: Relational Mathematics for Relative Correctness