Constructive consistency checking for partial specification in Z

DOI10.1016/S0167-6423(99)00006-4zbMath0948.68116OpenAlexW2005510782MaRDI QIDQ1961429

John Derrick, Howard Bowman, Maarten van Steen, Eerke A. Boiten

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)

Related Items (1)

Understanding, Explaining, and Deriving Refinement

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