Rust 코드를 형식 검증하는 도구로, 런타임 검사를 추가하는 대신 가능한 모든 실행에서 명세를 만족하는지 확인합니다.
3.4천239RustMIT업데이트 6시간 전
#smt
“smt” 관련 오픈소스 프로젝트
smt 관련 엄선 GitHub 저장소. AI 요약과 주요 지표를 함께 제공합니다.
#smt
smt 관련 엄선 GitHub 저장소. AI 요약과 주요 지표를 함께 제공합니다.
Rust 코드를 형식 검증하는 도구로, 런타임 검사를 추가하는 대신 가능한 모든 실행에서 명세를 만족하는지 확인합니다.