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 enable both high productivity AND high reliability. Taken together, these factors give you reduced costs.

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