Constructive consistency checking for partial specification in Z
type: Item
instance of: scholarly article
title: Constructive consistency checking for partial specification in Z
zbMATH Open document ID: 0948.68116
DOI: 10.1016/S0167-6423(99)00006-4
author: John Derrick
author: Howard Bowman
author: Eerke Boiten
author: Maarten Van Steen
published in: Science of Computer Programming
publication date: 2000-11-22T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1389836
zbMATH Keywords: partial specification
MaRDI profile type: Publication
full work available at URL: s0167-6423(99)00006-4
OpenAlex ID: W2005510782
Recommended article: Partial specifications and compositional verification
Recommended article: Verification of qualitative \(\mathbb Z\) constraints
Recommended article: CONCUR 2005 – Concurrency Theory
Recommended article: Q4436973
Recommended article: Consistent partial model checking
Recommended article: ZB 2005: Formal Specification and Development in Z and B
Recommended article: Simultaneous checking of completeness and ground confluence for algebraic specifications
Recommended article: A Weakest Precondition Semantics for Z
Recommended article: Q3601886
description: scientific article; zbMATH DE number 1389836