Home Bookmarks Inbox Collections Profile

Recent Search

Command Palette

Search for a command to run...

Command Palette

Search for a command to run...

Inbox Collections Profile

The Case Against Formal Verification, 50 Years Later — Blankdot

ivan-gavran.github.io1 month ago

The Case Against Formal Verification, 50 Years Later

Article URL: https://ivan-gavran.github.io/0-social-processes-paper Comments URL: https://news.ycombinator.com/item?id=49323459 Points: 6 # Comments: 1

Visit ivan-gavran.github.io

No discussion yet. Be the first to share your thoughts!