verification

流出した認証情報を検索、検証、分析

immudb - ゼロトラストに基づいた不変データベース。SQL/Key-Value/Documentモデルを採用し、改ざん防止とデータ変更履歴を提供します。

Kotlin用のモックライブラリ。

Dafny は、検証機能を備えたプログラミング言語です

Kani Rust 検証ツール

証明指向プログラミング言語

TLC は、TLA+ で記述された仕様のモデルチェッカーです。TLA+Toolbox は TLA+ 用の IDE です。

cocotb: Python ベースのチップ (RTL) 検証

OWASP MASVS（Mobile Application Security Verification Standard）は、モバイルアプリセキュリティの業界標準です。

🖖 GoCaptcha: Go 言語向けの高性能でインタラクティブな行動キャプチャライブラリ。クリック、スライド、ドラッグ＆ドロップ、回転モードをサポートし、アプリケーションを簡単に保護します。

F*で記述された、形式手法で検証済みの暗号ライブラリ「HACL*」

Rust コードの正当性証明を支援する Creusot

Viper 検証基盤に基づいた Rust 向け静的検証ツール

TLA（Temporal Logic of Actions）に基づいた、優れたツール群を備える実行可能な仕様記述言語

メールを送信せずにメールアドレスの有効性を検証するGoライブラリ

RISC-V ISA を緩やかにベースにした、Verilog によるオープンソース GPU

Haskellのためのリキッド型付けシステム

データの検証とフィルタリングのためのGoパッケージ。Map、Struct、Formデータをサポート。使いやすく、一般的な検証やフィルターを多数内蔵し、カスタムバリデーター、カスタムメッセージ、フィールド翻訳をサポートします。

LLVM 最適化の自動検証

アプリを簡単に検証する。

Java 向けのプラグイン可能な型チェック

Ethereum スマートコントラクト向けのソースコード検証サービス

高度な SAT ソルバー

ピクセル単位でのカスタマイズが可能な PIN コード入力テキストフィールドを作成するための Flutter パッケージ 🎨 美しいアニメーション、iOS の自動入力、Android の自動入力に対応

VUnit は VHDL/SystemVerilog 向けの単体テストフレームワークです

実践的なソフトウェアエンジニアが検証済みで安全なベアメタルコードを作成できるように設計された、依存型証明言語。

Goで書かれたオープンソースのライセンスキー生成・検証ツール

コンシューマー駆動契約のワークフローを有効化

CORE-V ファミリーの RISC-V コア向け機能検証プロジェクト

アーカイブ済み/移動済み: 新しい場所をご覧ください