Finding bugs in systems through formalization
Lobsters·8 points·hwayne·over 8 years ago·andy.hammerhartes.de
Read the full article at andy.hammerhartes.de →
Related stories
- Finding bugs in Haskell code by proving itjoachim-breitner.deLobsters · 19 points · almost 9 years ago
- Finding Bugsmatklad.github.ioLobsters · 8 points · about 6 hours ago
- Finding Bugsmatklad.github.ioHacker News · 1 points · 10 days ago
- Finding Bugsmatklad.github.ioHacker News · 1 points · 6 days ago
- Finding bugs you didn't think to test forfirezone.devHacker News · 4 points · 6 days ago
- Distributed Systems Shibbolethsjolynch.github.ioLobsters · 36 points · over 4 years ago