SofCheck : Software Analysis and Verification : Company Information
SofCheck logo          
SofCheck logo
Products
Solutions
Company
Resources
News & Events
Careers
Home Site Map Contact Site Map
spacer spacer spacer spacer
 

– Company Information

> Management Team

> Technical Team

> Advisory Board

> Customers

> Partners

> Contact Us

 

  Company Information
 
   

Founded by a team of internationally recognized leaders in the development of programming languages and compiler technology, SofCheck, Inc. is a premier automated software quality (ASQ) solutions company.

Safety and Business Critical image
SofCheck solutions enable development of the highest quality
software systems in safety and business critical environments.

SofCheck enables software development organizations to build the highest quality software systems efficiently and in the shortest time possible by providing solutions for automated, advanced static error detection without unit testing or style checking.

Built by the developers of the most advanced compiler and cross-compiler toolsets on the market today, SofCheck’s solutions find lurking defects in your software with pushbutton convenience, pinpointing root causes to the line of code – all prior to expensive and time consuming runtime testing.

With its 100% coverage, SofCheck’s proprietary advanced static error detection technology is more thorough, finds defects in less time, and is less expensive than dynamic testing for finding such faults.

SofCheck’s solutions enable software development and IT organizations to
• significantly reduce their costs
• shorten test cycles
• increase early detection of errors
• improve overall quality
• reduce time-to-market

 

 

 

 

 

 
     
Home  |  Products  |  Company  |  News & Events  |  Careers    
Site Map  |  Contact

© 2002-2008 SofCheck, Inc. All rights reserved.
SofCheck, SofCheck Inspector, AdaMagic, ERA Framework,
and SofPort are trademarks of SofCheck, Inc.