What Verifysoft Technology does

Verifysoft Technology GmbH is a privately held German software company, founded in 2003 in Offenburg by Klaus Lambertz and Patricia Gallien, that develops, distributes, and supports software quality and testing tools for safety-critical embedded software development. The company's product portfolio centers on its flagship Testwell CTC++ code-coverage analyzer (TÜV SÜD-certified for IEC 61508, ISO 26262, EN 50716, IEC 62304, and as of March 2026 ISO 25119) and includes Testwell CMT++/CMTJava for code complexity measurement, CodeSonar for static analysis (Exida-certified for IEC 61508, ISO 26262, EN 50128), Imagix 4D for reverse engineering, Codee for automated code inspection and performance optimization (C/C++/Fortran), and CodeSentry for binary/SBOM analysis aligned to the EU Cyber Resilience Act. Verifysoft owns the IP rights to Testwell CTC++/CMT++/CTA++ following its 2024 acquisition from Testwell Oy Finland, while other tools are distributed under partnerships with CodeSecure, Imagix Corporation, and Appentra Solutions.

The company sells primarily through a sales-led model: direct enterprise sales in DACH, France, Nordics, and other international markets, supported by a global VAR network (Lexington Soft in USA/Canada/India, Beijing Siener and Beijing Watertek in China, Ubiquitous AI in Japan, SLEXN in Korea, Gopalam across ASEAN, plus distributors in Israel, Turkey, Italy/Switzerland, and Australia/New Zealand). Pricing is quote-based with evaluation licenses, perpetual licenses, and recurring maintenance subscriptions; Safety Packages (TÜV certificates, Safety Manuals, Known-Bugs lists) and CodeSentry SaaS introduce a subscription element. Professional-services revenue comes from instructor-led seminars on embedded testing, ISO 26262, IEC 61508, and Requirements Engineering, with an in-house seminar priced at €3,900 for up to 10 participants.

Verifysoft serves more than 800 customers in over 45 countries — primarily enterprises in automotive, aerospace and defense, medical devices, rail and transportation, industrial automation, energy (including nuclear), and increasingly cybersecurity/IT — with named references including NASA/JPL, Embraer, Airbus, ESA, Continental, Bosch, BMW, Mercedes-Benz, Audi, Volvo, Siemens Healthcare, Philips, Roche, Alstom, Honeywell, Framatome, ABB, Maquet, and Kongsberg Maritime. The 11–50-employee firm is relocating its headquarters to the new flow1986 technology center in Offenburg by end-2025, operates without external venture capital, and releases major product updates across the portfolio on an approximately quarterly cadence.

Name

Verifysoft Technology

Legal name

Verifysoft Technology GmbH

Website

https://verifysoft.com

Company type

Private

Founded year

2003

Operating status

Operating

Headcount range

11–50 employees

Short description

Verifysoft Technology GmbH is a privately held German company that develops and distributes certified software testing tools — including the Testwell CTC++ code-coverage analyzer, CodeSonar static analysis, CodeSentry SBOM analysis, and Codee performance optimization — for embedded software developers in safety-critical industries such as automotive, aerospace, medical devices, rail, and industrial automation.

Ownership category

akta.pro rank

Product category

Software Testing Tools

NAICS

Computer Systems Design and Related Services (54151)

SIC

Services-Prepackaged Software (7372)

akta.pro primary industry

Software Supply Chain & Dependency Security (SBOM, Signing) (HDADACAD)

Keywords

• Code coverage tools
• Static code analysis
• Embedded software testing
• Functional safety compliance
• Software quality tools

Headquarters

HQ city

Offenburg

HQ country

Germany

HQ region

Europe

Offices1 record

Markets served

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Marketing or Sales, Operations, Infrastructure

Revenue model

1. Software Tool Licenses (Testwell CTC++, CMT++, CodeSonar, Imagix 4D, Codee): Verifysoft generates revenue primarily from selling and distributing software testing tools for code coverage, static analysis, code complexity, and reverse engineering. The company offers evaluation licenses, perpetual licenses, and maintenance/support subscriptions. Tools are used in safety-critical industries requiring certification compliance (automotive, aerospace, medical, rail). Pricing is quote-based, indicating a consultative sales approach with custom pricing per customer/project.
2. Professional Services (Seminars, Webinars, Training): Verifysoft offers instructor-led seminars on topics including embedded software testing, ISO 26262, IEC 61508, Requirements Engineering, and FreeRTOS. Seminars are available online, in-person, or in-house at customer sites. In-house seminars are priced at 3,900 EUR for up to 10 participants, with additional participants at 190 EUR each. The company also hosts webinars on specific technical topics.
3. Safety Packages and Maintenance Subscriptions: For safety-critical tool deployment, Verifysoft offers Safety Packages (e.g., for Testwell CTC++) that include TÜV certificates, Safety Manuals, and access to Known-Bugs lists. These are offered as subscriptions that actively inform customers of document updates. Support services are provided for free to customers with valid maintenance contracts.

Pricing tiers

Go-to-market motion3 records

Distribution channels13 records

Marketing channels7 records

Core offering

Verifysoft Technology develops, distributes, and supports specialized software testing tools for safety-critical embedded software development. Its portfolio covers code coverage analysis (including MC/DC), static code analysis, code complexity measurement, reverse engineering, and binary/SBOM analysis, serving industries such as aerospace, automotive, medical devices, rail, and industrial automation. The company also delivers training seminars on embedded testing and functional safety standards.

Differentiator

Problem solved

Functional benefit

Brands

• Testwell CTC++: Code Coverage Analyzer for C and C++
• Testwell CMT++
• CodeSonar
• Imagix 4D
• Codee

Products and services

• Testwell CTC++
• Testwell CMT++ / CMTJava

Quantifiable outcome

• NASA's study found that static analysis with CodeSonar reduces risk of serious incidents in mission-critical software and that operational cost savings alone justify the CodeSonar investment.
• +4 more outcomes

Named customers18 records

Segments7 records

Ideal customer profiles2 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration11 records

Feature6 records

Scale indicators4 records

Recent moves7 records

Expansion highlights8 records

Direct peers

• LDRA: LDRA specializes in software analysis, code coverage, and compliance tools for safety- and security-critical embedded systems across DO-178C, ISO 26262, IEC 61508, and IEC 62304 — a near-identical product/market overlap to Verifysoft's Testwell CTC++ and CodeSonar portfolio.
• Parasoft: Parasoft provides automated software testing and static analysis tools (C/C++test, dotTEST, Jtest) for safety-critical and embedded development. Verifysoft's CEO Klaus Lambertz previously held sales/management roles at Parasoft, and the product categories are directly comparable.
• Vector Informatik: Vector Informatik is a German vendor of embedded software tools, including testing, code coverage, and AUTOSAR/ISO 26262-compliant development environments. It is the closest German-headquartered direct competitor in automotive embedded testing.
• GrammaTech: GrammaTech provides static analysis (CodeSonar competitor heritage), software assurance, and security tools for embedded and safety-critical applications. It is a direct functional competitor to Verifysoft's static analysis offerings.
• AbsInt: AbsInt is a German specialist in static analysis and worst-case execution time analysis (aiT, StackAnalyzer) for safety-critical embedded software. It is a closely comparable German-headquartered specialist with a similar standards-compliance focus.

Broad incumbents

• Synopsys (Coverity): Synopsys' Coverity static analysis and Polaris SaaS are leading enterprise static analysis platforms overlapping with Verifysoft's CodeSonar distribution. Synopsys operates at much larger scale across multiple tool categories.
• Perforce (Klocwork / Helix QAC): Perforce's Klocwork and Helix QAC are static analysis tools targeting C/C++ safety-critical and embedded development. They compete with Verifysoft's CodeSonar portfolio in the same ISO 26262 / DO-178C use cases.
• MathWorks (Polyspace): MathWorks' Polyspace products provide static analysis and code verification for embedded MATLAB/Simulink-generated C/C++ code, targeting the same ISO 26262 and IEC 61508 buyers as Verifysoft.
• Cadence Design Systems: Cadence is a broad EDA and system-design incumbent that has expanded into embedded software verification and AI-driven verification — adjacent but increasingly overlapping with Verifysoft's safety-critical verification footprint.

Emerging players

• Snyk: Snyk's developer security platform (SCA, SBOM, code analysis) directly competes with Verifysoft's CodeSentry product in software supply chain security and CRA-adjacent workflows, but at much broader scale and as a SaaS-native platform.

Market position

Strengths5 records

Weaknesses5 records

Competitive moat6 records

Key risks5 records

Key highlights6 records

Customer concentration

• YouTubeyoutube-nocookie.com/embed/8cMEeCccRjY?si=9X5Aj5aERwv1sHgM
• LinkedInlinkedin.com/company/verifysoft-technology-gmbh

Revenue estimate

Valuation estimate

Number of profiles

Profiles3 records

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about Verifysoft Technology