搜索结果：verification（5 个）
按分类缩小范围
AutoResearchClaw
综合 66
全自主自演进科研工具，支持通过对话输入 Idea 并自动生成论文。
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
kaldi
综合 53
语音识别工具包 Kaldi 的官方开源代码仓库。
pact-ruby
综合 52
Ruby 契约测试工具，为消费者提供 Mock 和 DSL，并为服务端提供回放验证。