verification

유출된 인증 정보 찾기, 검증 및 분석

immudb - 제로 트러스트 기반의 변경 불가능한 데이터베이스, SQL/Key-Value/Document 모델, 변조 방지, 데이터 변경 이력

Kotlin용 모킹 라이브러리

정리 검증 기능을 지원하는 프로그래밍 언어 Dafny

Kani Rust Verifier

증명 중심 프로그래밍 언어

TLC는 TLA+로 작성된 명세의 모델 체커입니다. TLA+Toolbox는 TLA+용 IDE입니다.

cocotb: Python 기반 칩(RTL) 검증

OWASP MASVS(모바일 애플리케이션 보안 검증 표준)는 모바일 앱 보안을 위한 업계 표준입니다.

🖖 GoCaptcha: Go를 위한 고성능 인터랙티브 행동 캡차 라이브러리. 클릭, 슬라이드, 드래그 앤 드롭, 회전 모드를 지원하여 애플리케이션을 쉽게 보호합니다.

F*로 작성된 형식 검증된 암호화 라이브러리, HACL*

Creusot는 Rust 코드가 올바르다는 것을 증명하는 데 도움을 줍니다.

Viper 검증 인프라를 기반으로 하는 Rust용 정적 검증기.

TLA(Temporal Logic of Actions) 기반의 편리한 도구를 갖춘 실행 가능한 명세 언어

:white_check_mark: 이메일을 보내지 않고 이메일을 검증하는 Go 라이브러리입니다.

RISC-V ISA를 느슨하게 기반으로 한 Verilog 오픈소스 GPU

Haskell을 위한 Liquid Types

데이터 검증 및 필터링을 위한 Go 패키지. Map, Struct, Form 데이터를 지원하며 간편한 사용법과 다양한 내장 검증기, 사용자 정의 검증 및 필드 번역 기능을 제공함

LLVM 최적화의 자동 검증

앱을 간편하게 검증하세요.

Java를 위한 플러그인 가능한 타입 검사

Ethereum 스마트 컨트랙트 소스 코드 검증 서비스

고급 SAT 솔버

모든 픽셀 단위 커스텀이 가능한 PIN 코드 입력 텍스트 필드를 생성하는 Flutter 패키지 🎨 아름다운 애니메이션, iOS 자동 완성, Android 자동 완성 지원

VUnit은 VHDL/SystemVerilog를 위한 단위 테스트 프레임워크입니다.

현실의 소프트웨어 엔지니어가 검증 가능한 올바른 베어메탈 코드를 작성할 수 있도록 고안된 의존 타입 증명 언어

Go로 작성된 오픈 소스 라이선스 키 생성 및 검증 도구

소비자 주도 계약(Consumer Driven Contracts) 워크플로우를 지원합니다.

CORE-V 계열 RISC-V 코어를 위한 기능 검증 프로젝트

보관됨/이동됨: 새로운 위치를 방문해 주세요