형식 기법
수학적 모델을 바탕으로 소프트웨어나 하드웨어 시스템의 사양을 명시하고 검증하여 결함을 찾아내는 방법론이다. 높은 신뢰성이 요구되는 시스템 설계에 활용된다.
코드 생성의 한계 돌파: 비미분 솔버와 딥러닝을 잇는 뉴로심볼릭 학습 전략
매일 10억 건의 보안 체크, 스탠퍼드와 아마존이 만든 오픈소스의 힘