A relation algebraic model of robust correctness
type: Item
instance of: scholarly article
title: A relation algebraic model of robust correctness
zbMATH Open document ID: 0871.68125
DOI: 10.1016/0304-3975(96)88664-6
author: Thomas F. Gritzner
author: Rudolf Berghammer
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 984041
zbMATH Keywords: semantics of specifications and programs
zbMATH Keywords: relational specification
zbMATH Keywords: demonic nondeterminism
zbMATH Keywords: robust correct refinement
zbMATH Keywords: weakest preconditions
zbMATH Keywords: specification statement
MaRDI profile type: Publication
full work available at URL: 0304-3975(96)88664-6
OpenAlex ID: W1982779896
cites work: Countable nondeterminism and random assignment
cites work: Embedding a demonic semilattice in a relation algebra
cites work: Q4273429
cites work: A Transformation System for Developing Recursive Programs
cites work: Q5810602
cites work: Q4692630
cites work: Predicative programming Part I
cites work: Q5688938
cites work: Laws of programming
cites work: Q3763567
cites work: Boolean Algebras with Operators
cites work: The specification statement
cites work: Q3996918
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: A RELATIONAL MODEL OF DEMONIC NONDETERMINISTIC PROGRAMS
cites work: Q3996676
cites work: Relation algebras: Concept of points and representability
Recommended article: Relational Mathematics for Relative Correctness
Recommended article: Relational semantics of linear logic and higher-order model-checking
Recommended article: Algebraic models of correctness for microprocessors
Recommended article: Relational algebraic semantics of deterministic and nondeterministic programs
Recommended article: A Machine-Checked Framework for Relational Separation Logic
Recommended article: Modal Kleene algebra applied to program correctness
Recommended article: General Correctness Algebra
Recommended article: Correctness criteria for algebraic closures of the estimate-calculating algorithm model
Recommended article: Q4011708
description: scientific article; zbMATH DE number 984041