Evaluating the tools
We have a capacity-limited version of the Critical Systems
Edition of Escher Verification Studio, which
is intended primarily for
- serious enquirers who wish to evaluate Escher C Verifier or
- appropriate educational establishments
no charge, but the download must be approved by us.
Conditions apply, which are detailed in the download, but in particular:
- The free edition of the software is not licensed for developing or
verifying commercial software other than for evaluation purposes.
- We would like to know a little about you at the outset, as
we want you to look at the product only if it is
likely to be suitable for you and your intended use of it.
- Before any report is published in which our tools are mentioned, we must be
given the opportunity to review
and comment upon any statement of fact relating to our tools which is made
in the report. Also, the version of our tools
on which the report is based
must be made clear.
You will need to contact us
to obtain the necessary download keys.