Escher Technologies - reducing the cost of developing critical software

Escher Technologies [画像:Escher Technologies]

Home Tools Services Support News Company Contact Publications Articles

Welcome

Escher Technologies research, develop and deliver tools for the efficient construction of provably-correct software

News

Escher Verification Studio Version 7 now here!

We Reduce the Cost of Developing Critical Software

development tools

Using advanced Automated Reasoning technology, Perfect Developer and the Escher C/C++ Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications.

More...

teaching tools

For universities and colleges which offer courses in formal methods of software development:
Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.

More...

services

We can provide you with consultancy to assist you with developing your critical software. Our services include IEC 61508 software development and DO-178C software development.

More...

[画像:flying at sunset (from Getty Images under licence)]

Search Escher sites for:

JavaScript must be turned ON to use Search

Are you interested in: