Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
We believe that software development should be carried out to the same standard as other engineering disciplines.


Perfect Developer - Making software bugs extinct!
 

company

Our mission

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.

Our origin

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.

Our associates

We have a number of associates whose product or service complements ours:

Links to associates A new window will open

 


Home    TOPTOP
Copyright © 1997-2016 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)