Hacker News

new
show
ask
jobs

Looking for Missed Alarm Bugs in a Formal Verification Tool

16 points

by luu

5 days ago

story

loading...