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

(5)

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

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)