researches, develops and delivers tools for the efficient construction
BitWise Ltd is using
to develop critical embedded software
We Reduce the Cost of Developing Critical Software
Using advanced Automated Reasoning technology,
Escher C Verifier
reduce the cost of developing
or software for other high-integrity applications.
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.
We can provide you with consultancy to assist you with developing your critical software. Our services include
IEC 61508 software development
DO-178C software development
Search Escher sites for:
Are you interested in:
Formal Verification of C/C++ Programs?
Easier Formal Software Specification?
Latest Articles updated:
Safer arrays: using a C++ array class
Why can C++ be safer than C?
Safer explicit type conversion
Copyright © 1997-2013 Escher Technologies Limited. All rights reserved. Information in this document is subject to change without notice.