The verifying compiler: A grand challenge for computing research
Journal of the ACM (JACM)
Verifying Model Oriented Specifications through Animation
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
The verified software repository: a step towards the verifying compiler
Formal Aspects of Computing
POSIX file store in Z/Eves: an experiment in the verified software repository
ICECCS '07 Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems
A mini challenge: build a verifiable filesystem
Formal Aspects of Computing
ProB: an automated analysis toolset for the B method
International Journal on Software Tools for Technology Transfer (STTT)
Software—Practice & Experience
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Hi-index | 0.00 |
We propose a simple framework for validation unit testing of Z specifications, and illustrate this framework by testing the first few levels of a POSIX specification. The tests are written in standard Z, and are executable by the CZT animator, ZLive.