형식 기법과 프로그래밍의 미래 (opens in new tab)

형식 기법은 소프트웨어가 의도한 성질을 만족하는지 증명하는 도구이며, 에이전트 코딩 확산으로 비용·효용 판단이 달라지고 있음 Jane Street은 과거 형식 기법이 일부 특수 사례를 제외하면 비용 대비 가치가 낮다고 봤지만, 이제 전담 팀을 만들고 있음 seL4는 8,700줄 C 코…