토픽 · formal-verification
formal-verification
formal-verification 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
13
총 스타
16,360
평균 스타
1,258
비중
0.00%
관련 토픽
같은 리포지토리에 formal-verification 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 formal-verification 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1★ 3,673+3최근 7일 스타 변화
- #2★ 1,836+0최근 7일 스타 변화
- #3★ 1,836+2최근 7일 스타 변화
- #4
Viper 검증 인프라를 기반으로 하는 Rust용 정적 검증기.
★ 1,809+2최근 7일 스타 변화 - #5★ 1,190+2최근 7일 스타 변화
- #6
Rust를 위한 정적 검증 도구: 프로그램의 모든 실행 케이스를 100% 확인하여 더욱 안전한 애플리케이션을 구축합니다.
★ 1,161+0최근 7일 스타 변화 - #7★ 949+19최근 7일 스타 변화
- #8★ 835+0최근 7일 스타 변화
- #9★ 698+2최근 7일 스타 변화
- #10
기계 작업을 위한 결과 방화벽. EMILIA Gate는 자금, 코드, 권한, 인프라 또는 규제 대상 상태 변경 전에 정확한 권한을 검증하며, 개방형 프로토콜을 통해 증거를 독립적으로 검증할 수 있게 합니다.
★ 650-29최근 7일 스타 변화 - #11
무료 및 오픈 소스 하드웨어 검증 도구 및 프레임워크 목록
★ 622+1최근 7일 스타 변화 - #12
산업계에서 정형 검증(formal methods)을 사용하는 기업들의 엄선된 목록
★ 610+1최근 7일 스타 변화 - #13★ 508+1최근 7일 스타 변화
