Identifying pre-conditions with the Z/EVES theorem prover | IEEE Conference Publication | IEEE Xplore