3.1k 编程语言 Dafny Dafny是一种支持验证的编程语言。（Dafny is a verification-aware programming... 4.3k C# FastView Compare
2.4k Java tlaplus TLC is an explicit state model checker for specifications wr... 2.3k Java FastView Compare
1.8k 未分类 HACL* HACL*，一个用 F* 编写的经过正式验证的加密库。「HACL*, a formally verified crypt... 1.8k F* FastView Compare
未分类 kremlin KreMLin is a tool for extracting low-level F* programs to re... 2.1k OCaml FastView Compare
2k Python cocotb cocotb： 基于 Python 的芯片 (RTL) 验证。「cocotb: Python-based chip (R... 2.7k Python FastView Compare
1.1k Go Validate Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。「Go pac... 3.2k Go FastView Compare
