Constructive consistency checking for partial specification in Z

DOI10.1016/S0167-6423(99)00006-4MaRDI QIDQ1961429zbMATH OpenOpenAlexFDO

Authors John Derrick, Howard Bowman, Eerke Boiten, Maarten Van Steen

Publication date 22 November 2000

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(99)00006-4

zbMATH Keywords

partial specification

Mathematics Subject Classification ID

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

Recommendations

• Partial specifications and compositional verification
• Verification of qualitative \(\mathbb Z\) constraints
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 2013588
• Consistent partial model checking
• ZB 2005: Formal Specification and Development in Z and B
• Simultaneous checking of completeness and ground confluence for algebraic specifications
• A Weakest Precondition Semantics for Z
• Nondeterminism in constructive Z

Cited in

(7)

• Strategies for consistency checking based on unification
• Predicate abstraction and CEGAR for \(\nu \mathrm{HFL}_\mathbb{Z}\) validity checking
• scientific article; zbMATH DE number 2080002 (Why is no real title available?)
• scientific article; zbMATH DE number 756075 (Why is no real title available?)
• Model-checking view-based partial specifications
• ZB 2005: Formal Specification and Development in Z and B
• Understanding, Explaining, and Deriving Refinement

This page was built for publication: Constructive consistency checking for partial specification in Z

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