The Specification Logic νZ

Authors:
Martin C. Henson;Besnik Kajtazi
Affiliations:
Department of Computer Science, University of Essex, Wivenhoe Park, Colchester, Essex, CO4 3SQ, UK;Department of Computer Science, University of Essex, Wivenhoe Park, Colchester, Essex, CO4 3SQ, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 3
Cited 1

Programming from specifications (2nd ed.)

Programming from specifications (2nd ed.)
Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction
Data Refinement: Model-Oriented Proof Methods and their Comparison

Data Refinement: Model-Oriented Proof Methods and their Comparison

A relational investigation of UTP designs and prescriptions

UTP'06 Proceedings of the First international conference on Unifying Theories of Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces a wide-spectrum specification logic @nZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, some new additional schema operators and extensions to a programming and program development logic.