Publication:3898009
From MaRDI portal
zbMath0451.68018MaRDI QIDQ3898009
Publication date: 1980
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, Data refinement of predicate transformers, Combining angels, demons and miracles in program specifications, On the lattice of specifications: Applications to a specification methodology, Mechanizing some advanced refinement concepts, Program refinement in fair transition systems, The lattice of data refinement, A recursion theorem for predicate transformers on inductive data types, A specification-oriented semantics for the refinement of real-time systems, Program composition via unification, Stratified least fixpoint logic, The weakest precondition calculus: Recursion and duality, Action systems, unbounded nondeterminism, and infinite traces, Exits in the refinement calculus, Real-time refinement in Manna and Pnueli's temporal logic, Invariants and closures in the theory of rewrite systems, Contracts, games, and refinement., Data refinement, call by value and higher order programs, Superposition refinement of reactive systems