UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Engineering formal requirements: analysis and testing

Ciancarini, P; Cimato, S; Mascolo, C; (1996) Engineering formal requirements: analysis and testing. In: UNSPECIFIED (385 - 392). KNOWLEDGE SYSTEMS INSTITUTE

Full text not available from this repository.


We introduce a method for formal analysis and symbolic testing of behavioral aspects of Z specifications. We start defining a (chemical) operational semantics, which supports an abstract execution model and some new constructs to allow the verification of dynamic properties. Moreover, using such a semantics, we have built a parallel animator of Z specifications which automatically constructs distributed prototypes directly from a (refined) specification: such a tool makes effectively observable concurrent behaviors of the Z requirements specification.

Type:Book chapter
Title:Engineering formal requirements: analysis and testing
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record