SofCheck : News & Events

Home > News & Events

> News & Events

News

January 2010 — CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology
November 2009 — SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005
October 2009 — SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!
March 2009 — SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review
June 2008 — SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008: Automatic Storage Management and Persistence of Complex Data Structures
April 2008 — SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada
September 2007 — SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!
July 2007 — SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java
Apil 2007 — SofCheck partners with Charles River Analytics to win SBIR for transition tools for Ada
May 2007 — SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study
June 2006 — The Boeing Company Selects SofCheck’s Error Detection Technology for Quality Assurance and Testing of Advanced Avionics System
December 2005 — Traction Software Selects SofCheck Inspector to Analyze and Verify Agile Enterprise Blog Software Development Environment
November 2005 — SofCheck Adds to Management Team with Appointment of Kent Bradford as Vice President of Sales and Marketing
September 2005 — SofCheck Adds In-Country Representation in Turkey Through New Software Distribution Agreement with Keytorc
May 2005 — SofCheck Signs International Software Distribution Agreement with Vision Microsystems (Shanghai)
March 2005 — SofCheck Expands International Reach Through Praxis
January 2005 — SofCheck Secures First Round of Outside Private Equity
December 2004 — CaseNET to Use SofCheck’s Static Error Detection Tool
November 2004 — SofCheck Names Caruso to Advisory Board


Events
•	Systems and Software Technology Conference May 1-4, 2006 — Salt Lake City, Utah

•	Software & Systems Quality Conferences May 10-12, 2006 — Duesseldorf, Germany September 2006 — Zurich, Switzerland October 2006 — London, United Kingdom

•	2006 JavaOne Conference May 16-19, 2006 — San Francisco, California

•	VentureWire Enterprise Ventures 2006 May 31-June 1, 2006 — San Jose, California

•	11th International Conference on Reliable Software Technologies, Ada-Europe 2006 June 5-9, 2006

•	15th International Conference on Software Quality Fall 2006

•	ACM SIGAda 2006 November 12 to 16 — Albuquerque, New Mexico