Search
moon
sun

LLM이 훨씬 더 큰 규모의 소프트웨어 정형 검증을 가능하게 하고 있음

URL
날짜
2026/10/23
생성 일시
2026/10/23 05:21
태그
Anthropic과 Theorem은 Claude로 오픈소스 라이브러리 123개의 퍼징 진입점 239개를 정형 검증함. 발견한 버그를 수정한 뒤, 특정 실행 환경과 입력 크기 조건에서 컴파일된 코드가 충돌하지 않음을 증명함 기존 퍼즈 테스트를 명세로 변환하고 RISC-V 바이너리 수...