Where do I download the executable for the z/eves 2.4 prover? The instructions say to use this in the executable field:
<zeves>/system/z-eves-pc-windows-lispworks.exe</zeves>
Obviously <zeves> needs to be replaced with the correct path, but I don't have it on the system. Is there an FTP link or is it in another package that I am missing?</zeves>
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Where do I download the executable for the z/eves 2.4 prover? The instructions say to use this in the executable field:
<zeves>/system/z-eves-pc-windows-lispworks.exe</zeves>
Obviously <zeves> needs to be replaced with the correct path, but I don't have it on the system. Is there an FTP link or is it in another package that I am missing?</zeves>
I'm taking a grad course in Formal Methods. We're investigating tools that could be used for Verification and Validation and I ran across the czt toolset. I found it to be pretty freaking sweet, so I wanted to be able to create the spec and then run proofs on it. Just simple stuff at the moment, but I'm sure as the course progresses, this would come in handy.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Where do I download the executable for the z/eves 2.4 prover? The instructions say to use this in the executable field:
<zeves>/system/z-eves-pc-windows-lispworks.exe</zeves>
Obviously <zeves> needs to be replaced with the correct path, but I don't have it on the system. Is there an FTP link or is it in another package that I am missing?</zeves>
Hi
Z/Eves is not part of the CZT distribution, and you need to contact ORA Canada for it — but I think it is no longer available for distribution
What would you like to prove with it?
Best,
LEo
OH
n 23 Jan 2017, at 04:39, Albert Maine amainejr@users.sf.netamp#97;amp#109;amp#97;amp#105;amp#110;amp#101;amp#106;amp#114;amp#64;amp#117;amp#115;amp#101;amp#114;amp#115;amp#46;amp#115;amp#102;amp#46;amp#110;amp#101;amp#116; wrote:
Where do I download the executable for the z/eves 2.4 prover? The instructions say to use this in the executable field:
<zeves>/system/z-eves-pc-windows-lispworks.exe</zeves>
Obviously <zeves> needs to be replaced with the correct path, but I don't have it on the system. Is there an FTP link or is it in another package that I am missing?</zeves>
Z/EVES Proverhttps://sourceforge.net/p/czt/discussion/295268/thread/2a9f6316/?limit=25#5839
Sent from sourceforge.nethttp://sourceforge.net because you indicated interest in https://sourceforge.net/p/czt/discussion/295268/
To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscriptions/
I'm taking a grad course in Formal Methods. We're investigating tools that could be used for Verification and Validation and I ran across the czt toolset. I found it to be pretty freaking sweet, so I wanted to be able to create the spec and then run proofs on it. Just simple stuff at the moment, but I'm sure as the course progresses, this would come in handy.
I have same problem here. Does it has solution yet ?