SofCheck logo          
SofCheck logo
Products
Solutions
Company
Resources
News & Events
Careers
spacer spacer spacer spacer
 

Other News:

Download Free Trial of SofCheck Inspector™...

SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail: Parallel Specification and Implementation Language

SofCheck Chairman and CTO Tucker Taft authors "Integrating static analysis with a compiler and database" for Embedded Computing Design

Jack Ganssle of Embedded.com gives CodePeer™ high marks!

CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology

SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005

SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!

SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review

SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008: Automatic Storage Management and Persistence of Complex Data Structures.

SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada

SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!

SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java

SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference

SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM

SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study...

SofCheck Expands International Reach Through Distribution Agreement with Praxis High Integrity Systems...

SofCheck Names Caruso to Advisory Board...

SofCheck Joins Ada Resource Association...

Ada Helps Churn Out Less-Buggy Code...

  SofCheck Signs International Software Distribution Agreement with Vision Microsystems (Shanghai)
 
   

Vision Microsystems to bring SofCheck Inspector™, SofCheck’s advanced static error detection tool, to software developers in China.

BURLINGTON, Mass. (May 31, 2005) — SofCheck, Inc., a provider of software analysis and verification technology, has signed an agreement with Vision Microsystems (Shanghai) Co. Ltd., a leading provider of software development tools, for the distribution of SofCheck Inspector to software development organizations throughout China.

“We continue to expand the global reach of our advanced static error detection technology,” said Stephen F. Clairmont, senior vice president, Sales & Strategic Alliances, SofCheck. “SofCheck looks forward to working with Vision Mircosystems to bring SofCheck Inspector to this dynamic software development audience.”

“We are pleased to offer SofCheck Inspector to our customers in the growing software development and outsourcing market in China,” said Zhiqiang Zhang, vice president, Vision Microsystems (Shanghai) Co., Ltd. “Providing highly advanced automated software quality tools such as SofCheck Inspector is crucial to facilitate the design of high performance and high quality solutions that our market demands today.”

SofCheck Inspector helps eliminate programming errors by performing advanced static analysis on the program source code. A complement to traditional run-time testing tools, SofCheck Inspector employs advanced static error detection technology and push-button convenience to find lurking defects in software. It can also uncover potential faults in legacy systems that are currently running in mission critical systems. SofCheck Inspector is ideally suited to address the unique needs of mission and business critical environments, such as healthcare, financial services and aerospace.

About Vision Microsystems

Vision Microsystems (Shanghai) Co. Ltd. is a leading supplier of software development tools and services. The company helps its customers in delivering high quality embedded systems and software through research, design, implementation, distribution, and consulting services of the world’s best software and hardware tools and products. Vision Mircrosystems’ customers are among the leading companies and institutes in the aerospace and telecommunications industries, as well as manufacturers of medical diagnostic equipment and within R&D in China. In addition to Shanghai, the company has offices in Beijing, Chengdu and Shenzhen. For more information, visit http://www.visionmc.com.

About SofCheck

Founded in 2002, SofCheck develops technology that statically analyzes software to identify defects earlier in the development cycle, thus improving overall software quality and reducing time-to-market. SofCheck is a privately held company whose clients include: Raytheon, Northrop Grumman and United Technologies. To learn more, visit www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781) 750-8064 or E-mail info@sofcheck.com.

###

Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026

< Back to Press Releases

 

 

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

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

 

 

 

 

 

 

 

 

 

Home Site Map Contact Site Map