Beginning of secure software developmentCODEMIND
CODEMIND is an innovative software company founded by seasoned experts in program analysis and verification.
Building upon cutting-edge theories and professional experience, we will lead the field of software analysis and verification.
With our top-notch software analysis technology, experience the innovative transformation of technological advancements into a magical realization.
2021
2020
2019
2018
2017
2016
2015
2014
2013
Certificate of Software Quality
Software Safety Technology Association
Certificate of Designation ABB High-Growth 50 Company
Certificate of Software Quality
Certificate of Software Quality
CC Certification
Performance Certification
Certificate of Small and Medium Business
Certificate of Venture Business
Certificate of Authorized Research and Development Center
ISO9001 Certificate
Public Procurement Service Venture Country Certificate
Patent No.10-1573871
Patent No.10-1767481
Patent No.10-1996879
Patent No.10-1996878
Excellent Quality SW Prize
Security SW Award
Industry-Academic Cooperation Agreement with Korea Aerospace University
Industry-Academic Cooperation Agreement with Korea University
Industry-Academic Cooperation Agreement with Korea Information Science Society
Industry-Academic Cooperation Agreement with Seoul National University
eGovernment Standard Framework Compatibility Certificate