토픽 · formal-methods

formal-methods

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

리포지토리

10

총 스타

21,663

평균 스타

2,166

비중

0.00%

같은 리포지토리에 formal-methods 태그와 자주 함께 쓰이는 토픽이에요.

최근 라이징

최근 90일 안에 만들어지고 formal-methods 태그가 달린 리포지토리예요.

최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.

#1
sled ↗@spacejamRust
임베디드 데이터베이스의 샴페인
★ 9,080+1최근 7일 스타 변화
#2
P ↗@p-orgC#
P 프로그래밍 언어.
★ 3,673+3최근 7일 스타 변화
#3
hacl-star ↗@hacl-starF*
F*로 작성된 형식 검증된 암호화 라이브러리, HACL*
★ 1,836+0최근 7일 스타 변화
#4
creusot ↗@creusot-rsRust
Creusot는 Rust 코드가 올바르다는 것을 증명하는 데 도움을 줍니다.
★ 1,836+2최근 7일 스타 변화
#5
quint ↗@quint-coTypeScript
TLA(Temporal Logic of Actions) 기반의 편리한 도구를 갖춘 실행 가능한 명세 언어
★ 1,654+12최근 7일 스타 변화
#6
aeneas ↗@AeneasVerifOCaml
Rust 프로그램을 위한 검증 툴체인
★ 948+19최근 7일 스타 변화
#7
magmide ↗@magmideRocq Prover
현실의 소프트웨어 엔지니어가 검증 가능한 올바른 베어메탈 코드를 작성할 수 있도록 고안된 의존 타입 증명 언어
★ 835+0최근 7일 스타 변화
#8
CreuSAT ↗@sarskoRust
CreuSAT - Rust로 작성되고 Creusot로 정식 검증된 SAT 솔버.
★ 698+2최근 7일 스타 변화
#9
practical-fm ↗@ligurio
산업계에서 정형 검증(formal methods)을 사용하는 기업들의 엄선된 목록
★ 610+1최근 7일 스타 변화
#10
VST ↗@PrincetonUniversityRocq Prover
검증된 소프트웨어 툴체인
★ 508+1최근 7일 스타 변화

← 토픽 목록으로