태그

RISC-V 기술 블로그 글

RISC-V 태그가 달린 국내 IT 기업 기술 블로그 글을 최신순으로 모았습니다.

전체 1개최신 1개 표시

LLM으로 대규모 정형 소프트웨어 검증의 실용화

LLMs are making formal software verification feasible at a much larger scale

Claude가 123개 OSS-Fuzz 라이브러리의 RISC-V 바이너리 보안 속성을 정형 증명했습니다. 기존 퍼즈 테스트를 모든 입력에 대한 no-crash 명세로 확장했습니다.