Suresofttech Inc.

Suresofttech Inc. (슈어소프트테크) is a South Korean software and AI verification company headquartered in Pangyo 2nd Techno Valley, Seongnam, Gyeonggi-do. Founded in March 2002, the company has spent over two decades building expertise in verifying the safety and reliability of mission-critical software across high-risk industries such as automotive, defense, nuclear power, aerospace, medical, and railway. Its core business encompasses automated software verification tools, third-party verification and validation (V&V) services, and, more recently, AI trustworthiness verification. The company operates two main business pillars: software verification and AI verification. The software verification division provides automated error-detection tools for source code, system, and model stages, along with third-party verification services. These tools automate verification activities required by international functional safety standards including ISO 26262, DO-178C, IEC 61508, and EN 50128. The AI verification division focuses on validating the reliability of AI models, agents, and data, offering industry-specific AI solutions and controller virtualization/simulation verification. In April 2025, Suresofttech received KOLAS accreditation as an official testing laboratory for ISO/IEC TS 4213 (performance evaluation of machine learning classification models), and it participates as a testing institution in the 'AI MASTER' AI trustworthiness certification program run by the Korea Artificial Intelligence Industry Association. Suresofttech's product portfolio is organized into seven product families across its two business segments. Key offerings include STATIC (static code analysis), CT (code coverage), MV (model verification), AUTOSIM (simulation-based safety verification for autonomous driving and robotics), DCAT (data collection and analysis platform), ALIRA (AI certification documentation and testing automation), and VERIFAI-X (comprehensive AI system reliability and safety verification). The company also holds big data tools IRIS and BEYMONS, and possesses 16 patents related to verification tools. Some tools, including STATIC, CT, and MV, have received TÜV tool certification. In April 2023, Suresofttech listed on the KOSDAQ market through a merger with NH SPAC 22 (엔에이치기업인수목적22호주식회사). The company reported consolidated revenue of 46.7 billion KRW in the first half of 2026, a 21.5% increase year-over-year. Its headquarters is located at Infinity Tower E-dong, 37 Geumto-ro 80beon-gil, Sujeong-gu, Seongnam, Gyeonggi-do, with an additional office in Daejeon at the ETRI Convergence Technology Research Production Center. The company is led by co-CEOs Bae Hyun-seop (배현섭) and Oh Seung-wook (오승욱).

Suresofttech Inc. was founded in March 2002 in South Korea. From its inception, the company focused on software verification and validation for safety-critical systems, operating under the mission 'SOFTWARE FOR SAFE WORLD'. Over the next two decades, it developed automated verification tools and third-party V&V services for industries such as automotive, defense, nuclear power, aerospace, medical, and railway. In April 2023, Suresofttech listed on the KOSDAQ market through a merger with NH SPAC 22 (엔에이치기업인수목적22호주식회사). The merger process included a merger announcement in March 2023 and completion in April 2023. This marked a significant milestone, providing the company with public market access and capital for expansion. In April 2025, Suresofttech received KOLAS accreditation as an official testing laboratory for ISO/IEC TS 4213 (performance evaluation of machine learning classification models). This accreditation expanded the company's scope into AI verification, complementing its traditional software verification business. The company also became a testing institution for the 'AI MASTER' AI trustworthiness certification program run by the Korea Artificial Intelligence Industry Association. By 2026, Suresofttech had rebranded its mission to 'INTELLIGENCE FOR SAFE WORLD', reflecting its strategic shift from pure software verification to AI and intelligent technology verification. The company reported consolidated revenue of 46.7 billion KRW in the first half of 2026, a 21.5% increase year-over-year. It continued to participate in major industry events, including AI Festa 2026, the Autonomous Driving Mobility Industry Exhibition, and the Aerospace Electronics Symposium. In May 2026, Suresofttech expanded its KOLAS accreditation scope to data quality, completing its AI system full-lifecycle verification system.

• Suresofttech Inc. founded in South Korea.

• Merger announcement, share submission, and creditor objection notice published.

• Merger completion announced; company listed on KOSDAQ via SPAC merger with NH SPAC 22.

• Received KOLAS accreditation for ISO/IEC TS 4213 (machine learning classification model performance evaluation).

• Expanded KOLAS accreditation scope to data quality, completing AI system full-lifecycle verification system.

Leading domestic SW safety specialist verifying mission-critical software and AI trustworthiness for high-reliability, high-risk industries.

• STATIC

  Static code analysis solution that preemptively blocks coding errors and supports AI-based analysis for corrections.

• CT

  Code coverage tool for software verification.

• MV

  Model verification solution for static and dynamic error detection at the model stage.

• AUTOSIM

  Simulation-based safety verification solution for physical AI such as autonomous driving and robotics.

• DCAT

  Data collection and analysis platform that automates large-scale data collection, analysis, and evaluation for AI-based quantitative verification.

• ALIRA

  AI certification documentation and testing automation solution using AI agents to shorten development and verification periods.

• VERIFAI-X

  Comprehensive AI system reliability and safety verification solution.

• IRIS

  Big data tool.

• BEYMONS

  Big data tool.

1. 1슈어소프트테크 | AI 신뢰성 검증 전문기업suresofttech.com
2. 2지속가능경영 | 슈어소프트테크suresofttech.com
3. 3투자정보 - 공고 | 슈어소프트테크suresofttech.com
4. 4회사소개 | 슈어소프트테크suresofttech.com
5. 5Suresofttech Inc. - Wikidatawikidata.org
6. 6슈어소프트테크 - Wikipedia (Korean)ko.wikipedia.org