Latest

코드 오류를 미리 잡는 검증, 이제 배우기 쉬워진다

프로그램을 짤 때 실수가 없도록 미리 증명하는 기술이 있습니다. 배우기 어렵다고 알려졌지만, 이제 학교에서도 쉽게 가르칠 수 있는 방법이 나왔습니다. 컴퓨터 프로그램은 우리 일상 곳곳에서 움직입니다. 은행 앱, 자동차 내비게이션, 병원 기록 시스템까지 모두 프로그램으로 돌아갑니다. 그런데 그 프로그램에 오류가 있으면 어떻게 될까요? 보통은 실행해 보고 오류를 찾습니다. 하지만 실행으로는
뉴스룸 부엉이