Ciancarini, P and Cimato, S and Mascolo, C (1996) Engineering formal requirements: analysis and testing. In: UNSPECIFIED (385 - 392). KNOWLEDGE SYSTEMS INSTITUTE
Full text not available from this repository.
Abstract
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 |
| Keywords: | SPECIFICATIONS |
| UCL classification: | UCL > School of BEAMS > Faculty of Engineering Science > Computer Science |
Archive Staff Only: edit this record