scientific article; zbMATH DE number 3757681

MaRDI QIDQ3940822zbMATH OpenFDO

Authors Pedro Guerreiro

Publication date 1982

zbMATH Keywords

input-output behaviour of programsnon-terminating computationsnondeterministic programssemantic objectstotal correctness predicate transformer

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• Predicate transformers as power operations
• General correctness: A unification of partial and total correctness
• Algebra of monotonic Boolean transformers
• Formalization of Refinement Calculus for Reactive Systems
• Algebra of Monotonic Boolean Transformers

This page was built for publication:

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