We believe that software development should be
carried out to the same standard as other engineering disciplines.
By producing tools to reduce the cost of developing critical software, we assist
the evolution of software engineering towards delivering software that is as
reliable as the hardware on which it runs.
Reliability in software development is enhanced by the use of formal methods.
These have been used for many years in developing highly-critical software;
but it has been too difficult and
too time-consuming (and therefore too expensive) for formal
techniques to be used for less-critical software.
Our tools are designed to overcome these barriers to the widespread adoption
of formal methods.
By comparison with other mathematically-based development methods, our tools
are easy to use and take up minimal developer time. Our tools
high productivity AND high reliability. Taken together, these factors
Escher Technologies Limited was founded by
Dr. David Crocker
in 1995, with the aim of making
mathematically-verified software development
accessible and productive.
Through close contact with academic organizations
and involvement of our staff in workshops and conferences, we are
able to apply the latest developments in automated reasoning technology
to the field of software development.
We have a number of associates whose product or service complements ours:
Links to associates
A new window will open