The Case Against Formal Verification, 50 Years Later - Ivan Gavran

The Case Against Formal Verification, 50 Years Later

Writings on software correctness, AI, formal verification, and other technical topics.
78 points by ghuntley 66 days ago ivan-gavran.github.io 73 comments
Summary not yet generated for this article.

Comments (73 of ) ⌛

Loading more comments... ⌛
Scroll down to load more comments
No comments available.
Type to search HN and engineering blog articles
Press Escape to close  |  ↑↓ to navigate  |  Enter to open