토픽 · verification

verification

verification 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.

리포지토리 40개

#31
ed25519-dalek ↗@dalek-cryptography
보관됨/이동됨: 새로운 위치를 방문해 주세요
★ 704+0최근 7일 스타 변화
#32
CreuSAT ↗@sarskoRust
CreuSAT - Rust로 작성되고 Creusot로 정식 검증된 SAT 솔버.
★ 698+2최근 7일 스타 변화
#33
Cosette ↗@uwdbLean
Cosette는 자동화된 SQL 솔버입니다.
★ 686+0최근 7일 스타 변화
#34
pysmt ↗@pysmtPython
pySMT: SMT 공식 조작 및 해결을 위한 라이브러리
★ 638+0최근 7일 스타 변화
#35
awesome-open-hardware-verification ↗@ben-marshall
무료 및 오픈 소스 하드웨어 검증 도구 및 프레임워크 목록
★ 622+1최근 7일 스타 변화
#36
apalache ↗@apalache-mcScala
APALACHE: TLA+ 및 Quint를 위한 심볼릭 모델 체커
★ 596+3최근 7일 스타 변화
#37
stp ↗@stpC++
비트벡터, 부동 소수점 및 배열을 위한 효율적인 SMT 솔버인 Simple Theorem Prover
★ 588+1최근 7일 스타 변화
#38
witness ↗@in-totoGo
Witness는 소프트웨어 공급망 위험 관리를 위한 플러그인 방식의 프레임워크로, 소프트웨어 아티팩트의 출처를 자동화, 정규화 및 검증합니다.
★ 546+0최근 7일 스타 변화
#39
karamel ↗@FStarLangOCaml
KaRaMeL은 저수준 F* 프로그램을 읽기 쉬운 C 코드로 추출하는 도구입니다.
★ 518+0최근 7일 스타 변화
#40
VST ↗@PrincetonUniversityRocq Prover
검증된 소프트웨어 툴체인
★ 508+1최근 7일 스타 변화