Looking for Missed Alarm Bugs in a Formal Verification Tool (blog.regehr.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of blog.regehr.org: Looking for Missed Alarm Bugs in a Formal Verification Tool

First screen, captured 2 months ago.

Looks similar

Screenshot of blog.regehr.org: How Clang compiles a function (2018)

How Clang compiles a function (2018)(blog.regehr.org)

71 points by ibobev 2 years ago | 3 comments

Screenshot of blog.regehr.org: It's time for a modern synthesis kernel (2019)

It's time for a modern synthesis kernel (2019)(blog.regehr.org)

44 points by pbrowne011 2 years ago | 6 comments

Screenshot of blog.regehr.org: Is That a Compiler Bug?

Is That a Compiler Bug?(blog.regehr.org)

29 points by luu 3 years ago | 6 comments

Screenshot of blog.regehr.org: A close look at a spinlock (2021)

A close look at a spinlock (2021)(blog.regehr.org)

75 points by signa11 2 years ago | 22 comments

Screenshot of paulgraydon.co.uk: Automatically bisecting the Linux kernel to find a bug (2020)

Automatically bisecting the Linux kernel to find a bug (2020)(paulgraydon.co.uk)

39 points by luu 3 years ago | 8 comments

Screenshot of silentsignal.github.io: Below MI – IBM i for hackers

Below MI – IBM i for hackers (silentsignal.github.io)

93 points by todsacerdoti 2 years ago | 32 comments