scientific article; zbMATH DE number 139814

MaRDI QIDQ4028148zbMATH OpenFDO

Authors N. A. Harman, John V. Tucker

Publication date 28 March 1993

zbMATH Keywords

specifications of digital systemsstream transformers

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Laws of data refinement
• scientific article; zbMATH DE number 1303989
• scientific article; zbMATH DE number 1303994
• scientific article; zbMATH DE number 3943003
• Specification statements and refinement

Cited in

(10)

• Requirements, specifications, and minimal refinement
• scientific article; zbMATH DE number 1569129 (Why is no real title available?)
• On the lattice of specifications: Applications to a specification methodology
• Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms
• Refining specifications to programmable logic
• Correct Hardware Design and Verification Methods
• An axiom system for sequence-based specification
• Algebraic models of microprocessors architecture and organisation
• Evolving Specification Engineering
• Stepwise development of process-algebraic specifications in decorated trace semantics

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 Q4028148)