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
ISBN: 0-9641699-3-2
UCL classification: UCL > School of BEAMS > Faculty of Engineering Science > Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/187540
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item