코드마인드
IT, 컨텐츠대구 수성구10년차
코드마인드는 소프트웨어 분석 및 검증 도구를 개발합니다. 특히 소프트웨어 구조와 의도를 파악하고, 오류를 검출하며, 동작을 예측하는 도구와 서비스를 제공합니다.
소프트웨어라면 공통적으로 내포할 수 있는 보안약점이나 실행 중 발생 가능한 오류를 미리 검출하는 소스코드 진단 도구와 치명적 오류 발생이나 명세 위배 여부를 완전자동 방식으로 테스트하는 화이트박스 검증 도구 등을 개발합니다. 글로벌 SW 공모대상과 소프트웨어 품질대상을 수상하였으며 소프트웨어 검증 전문기업으로 자리 매김하고 있습니다.
