有限状态模型检查的角色变迁

Lobsters Hottest 新闻
finite-state-model-checking formal-methods software-verification computer-science academic-discussion

摘要

一篇探讨有限状态模型检查在计算机科学和软件验证中演变角色的文章。

<p><a href="https://lobste.rs/s/3hoiw8/changing_role_finite_state_model">评论</a></p>
查看原文

相似文章

形式验证的反对之声：50年后

Hacker News Top

本文重新审视了一篇1979年批评形式验证的论文，认为近期软件工程中基于人工智能的发展正在重新激发兴趣并挑战历史性的反对意见。

你对形式验证一窍不通

Hacker News Top

这是一篇评论文章，探讨了关于形式验证的常见误解，并强调了它在确保软件和AI系统可靠性中的关键作用。

证明可能性

Hillel Wayne — Computer Things

在形式化方法中解释可能性属性的概念，补充安全性和活性，并讨论它们在规范制定和模型检验中的使用。