A calculus of refinements for program derivations
From MaRDI portal
Publication:1111362
DOI10.1007/BF00291051zbMath0658.68018MaRDI QIDQ1111362
Publication date: 1988
Published in: Acta Informatica (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Predicate transformers and higher-order programs, Games and winning strategies, Inductive data types for predicate transformers, Combining angels, demons and miracles in program specifications, Mechanizing some advanced refinement concepts, The lattice of data refinement, A specification-oriented semantics for the refinement of real-time systems, Exits in the refinement calculus, Real-time refinement in Manna and Pnueli's temporal logic, Predicate transformers as power operations, Superposition refinement of reactive systems, Linking theories in probabilistic programming
Uses Software