Checking Z Data Refinements Using an Animation Tool
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Hi-index | 0.00 |
Abstract: Animation tools have proven to be effective as a means of visualising formal specifications. Specifications that might otherwise be impenetrable can be communicated to a wide range of people involved in the software development process. Here we argue that animation can also aid under-standing of formal program development, or refinement. We examine two case studies that demonstrate the effectiveness of visualisations generated from a specification animation tool for improving the understanding of refinements.