NUREMBERG, GERMANY, Embedded World — GrammaTech, Inc., a leading manufacturer of source-code-analysis tools, announced today that Verifysoft Technology is now offering products, installation, integration, and support services for GrammaTech solutions in Germany, Austria and Switzerland.
GrammaTech’s flagship product is CodeSonar®, a static analysis tool that is used by a wide variety of organizations to improve software quality. CodeSonar performs whole-program interprocedural analysis on code and identifies complex programming bugs that can result in system crashes, memory corruption and other serious problems.
Verifysoft Technology provides distribution, consulting and support of software analysis tools in Europe for the aerospace, automotive, medical, transportation, energy and other fields for critical software where safety, high assurance and high security are required.
“Verifysoft Technology is excited to partner with GrammaTech,” said Klaus Lambertz, managing director and CEO at Verifysoft Technology. “We are looking forward to promoting and supporting CodeSonar in the region.”
“Verifysoft Technology has extensive experience selling software-quality tools in Germany and neighboring countries,” said Mark Zarins, Vice President of Sales and Marketing at GrammaTech. “We are glad to have them as a partner to better support GrammaTech’s customers in the region.”
About Verifysoft:
Verifysoft Technology is an independent company specializing in software testing and analysis and test automation. Verifysoft Technology is located in Offenburg (Germany), close to Strasbourg (France). Founded in 2003, Verifysoft Technology has among its customers companies such as Alcatel, British Telecom, General Electric, Siemens and the European Space Agency, as well as a range of small and middle-sized companies.
About GrammaTech:
GrammaTech’s static-analysis tools are used worldwide by startups, Fortune 500 companies, educational institutions and government agencies. The staff includes 16 PhD-level experts in static analysis and a superb engineering team, all focused on creating the most innovative and in-depth analysis algorithms. The company’s flagship product, CodeSonar, is a sophisticated static-analysis tool that performs a whole-program, interprocedural analysis on C/C++ code, and identifies complex programming bugs that can result in system crashes, memory corruption, concurrency errors and other serious problems. Learn more about CodeSonar here on our site.
