搜索结果：verification（15 个）
按分类缩小范围
speechbrain
综合 71
基于 PyTorch 的开源全能语音处理工具包。
PaddleSpeech
综合 67
易用的语音工具包，包含 ASR、流式 TTS、声纹识别及端到端语音翻译等。
AutoResearchClaw
综合 66
全自主自演进科研工具，支持通过对话输入 Idea 并自动生成论文。
mvt
综合 65
移动端取证工具包，用于检测移动设备是否存在潜在的安全入侵迹象。
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
WTF-Solidity
综合 57
面向新手开发者的 Solidity 极简入门教程，支持中英双语。
Aegis
综合 53
一款免费、安全且开源的 Android 应用，用于便捷管理两步验证（2FA）令牌。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
kaldi
综合 53
语音识别工具包 Kaldi 的官方开源代码仓库。
pact-ruby
综合 52
Ruby 契约测试工具，为消费者提供 Mock 和 DSL，并为服务端提供回放验证。
tamarin-prover
综合 51
〔中文简介暂未生成〕 Main source code repository of the Tamarin prover for security protocol verification.
bundler-audit
综合 50
面向 Bundler 的补丁级依赖安全漏洞检查工具。