Learn More
We describe the Z/EVES system, which allows Z speci cations to be analysed in a number of di erent ways. Among the signi cant features of Z/EVES are domain checking, which ensures that a speci cation(More)