EZ: A System for Automatic Prototyping of Z Specifications

Authors:
Veronika Doma;Robin A. Nicholl
Affiliations:
-;-
Venue:
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Year:
1991

Aslantest: a symbolic execution tool for testing Aslan formal specifications

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Engineering formal requirements: An analysis and testing method for Z documents

Annals of Software Engineering
Towards quality requirements via animated formal specifications

Annals of Software Engineering
Automatic and efficient simulation of operation contracts

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering

Hi-index	0.00