Publication:4301167
From MaRDI portal
zbMath0855.68060MaRDI QIDQ4301167
Publication date: 13 July 1994
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Compositionality: Ontology and Mereology of Domains, Extended Static Checking by Calculation Using the Pointfree Transform, Refinement and state machine abstraction, Type inference for set theory, ASM refinement and generalizations of forward simulation in data refinement: a comparison, Incompleteness of relational simulations in the blocking paradigm, Verifying data refinements using a model checker, An analysis of refinement in an abortive paradigm, Data refinement and singleton failures refinement are not equivalent, A process algebraic framework for specification and validation of real-time systems, Refinement and verification in component-based model-driven design, Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository, POSIX file store in Z/Eves: An experiment in the verified software repository, A UTP semantics for \textsf{Circus}, Relational concurrent refinement. II: Internal operations and outputs, FDR explorer, A formal framework for modeling and validating simulink diagrams, A calculus for schemas in Z, Abstract state machines: a unifying view of models of computation and of system design frameworks, Efficient symbolic computation of process expressions, Semantics, calculi, and analysis for object-oriented specifications, Composition mechanisms for retrenchment, On the semantics of unified modeling language diagrams using Z notation, Lazy Relations, On the Purpose of Event-B Proof Obligations, A Practical Single Refinement Method for B, Modelling Divergence in Relational Concurrent Refinement
Uses Software
