SofCheck : Mission Critical Software Quality

Home > Products

– SofCheck Products

> Static Error Detection

> Compilers

> FAQs

Safety and business critical applications
demand total reliability and performance.

SofCheck is committed to providing software developers and IT organizations the easiest and most advanced tools available to deliver high quality and error free code that meets the highest standards.

SofCheck’s initial products, AdaMagic and AppletMagic, were developed by a team of recognized experts who have been at the forefront of language design and highly optimizing compilers for over 20 years. These products continue to be used broadly today within large, safety critical environments such as aerospace, defense, and automotive.

Leveraging the extensive error recovery expertise and knowledge acquired from years of optimizing compiler development, the advanced static error detection engine behind SofCheck Inspector is an evolutionary technology that offers significant rewards to software developers.

An Evolution in Software Quality

The Benefits of Experience
With over 100 years of combined expertise in developing “industrial strength” software development tools, the SofCheck advantage translates into proven benefits:
•	higher quality, more reliable code
•	shorter test cycles
•	reduced development costs
•	quicker time-to-market
•	seamless integration with existing systems and complementary tools
•	increased confidence that code will perform as expected in real-world environments
•	maximum return on investment

For information on our products, please email Kent Bradford, Vice President, Sales and Marketing.