Partial, Total and General Correctness

DOI10.1007/978-3-642-13321-3_11zbMath1286.68077OpenAlexW2142100108MaRDI QIDQ3575271

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)

Related Items (6)

Unifying Lazy and Strict Computations ⋮ On Completeness of Omega-Regular Algebras ⋮ Typing theorems of omega algebra ⋮ Fixpoints for general correctness ⋮ Algebras for iteration and infinite computations ⋮ Infinite executions of lazy and strict computations

This page was built for publication: Partial, Total and General Correctness