Automated Error Detection tools for Software based on Static Analysis of Source Code. Java currently, C/C++ and Ada in future.

advanced static error detection, sofcheck, sofcheck inspector, adamagic, runtime error, testing tool, run-time error, run time, bug detection, embedded applications, embedded system, static analysis, runtime debugger, ada, real time software, abstract interpretation, ada testing, c testing, dynamic testing, software testing, software analysis, tucker taft, kent bradford, verification, debugging, software quality, java testing, java quality, unit testing, developer testing, programmer testing, software development, infrastructure, embedded devices, testing, tools, analysis, developer, java, application development, integration, methodology, object-oriented, performance, testing, productivity, professional services, programming environment, .net, bug tracking, code, compiler, inspection, software inspection, c, c++, defects, defect, services, test, crash, reliability, software, code, quality, defect, roi, multi-tasking, return on investment, automated software inspection, software inspection, automated software testing, bugs

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. sofcheck is a premier automated software quality (asq) solutions company.