搜索 - 腾讯云开发者社区-腾讯云

文章/答案/技术大牛

发布

来自专栏Rust语言学习交流
【Rust日报】2022-05-05 - Kani Rust Verifier 发布了第一版
Github - model-checking/kani：https://github.com/model-checking/kani Announcing the Kani Rust Verifier
39910编辑于 2022-06-10
来自专栏字根中文校对软件
为什么2007年的图灵奖选择了模型检测技术
A simple model-checking problem is testing whether a given formula in the propositional logic is satisfied
1K20发布于 2019-02-14
来自专栏Rust 编程
论文导读｜使用 Kani 验证 Rust 中的 trait 对象
www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf [2] Kani Rust verifier: https://github.com/model-checking
1.6K20编辑于 2022-12-08
来自专栏Rust 编程
Rust漫画 #3 | 二次元 Rust Meetup 讨论会：Rewrite it in Rust 是否有害？
en.wikipedia.org/wiki/Ignaz_Semmelweis [2] crubit: https://github.com/google/crubit [3] kani: https://github.com/model-checking
1.4K10编辑于 2023-10-25
来自专栏arXiv每日学术速递
机器人相关学术速递[12.24]
testing and quality procedures which are widely used in industry today, with formal verification and model-checking
46510编辑于 2021-12-27
来自专栏CreateAMind
典型性原则及其对统计学与数据科学的启示
对典型性的强调，将模型检验（model-checking）等熟悉但常被忽视的背景概念推到了推断过程的前台。
9410编辑于 2026-03-11