Escher Technologies Limited was founded by Dr. David Crocker in 1995 to research and develop leading-edge software development technology with the aim of raising the quality and reliability of software products to a level where even minor software bugs are an exceptional occurrence rather than the norm.

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 believe that software development should be carried out to the same standard as other engineering disciplines.

We believe that software packages should not be supplied with a comprehensive disclaimer; instead they should be delivered with a comprehensive guarantee.

We believe that software developers take a natural pride in their work and it is only the lack of suitable development tools that prevent them from delivering bug-free components and programs.

We will strive to provide tools that enable developers to realize their full potential and make the software bug an extinct species.