News for hackers. Stuff that matters.
Re:Formal Verification Creates Hacker-Proof Code by schoen on Friday October 21, 2016 @06:15PM (#12765383)
Your exponent is a bit too small, though; it should be 2^(number of bits of RAM), like 2^34359738368 for a computer with 4 GB RAM (plus a little bit for CPU registers).

Assuming that the computer programs under study aren't allowed to interact with a disk, of course. :-)

Re:Formal Verification Creates Hacker-Proof Code by aruggirello on Saturday October 22, 2016 @05:39AM (#12768021)
Or with the Internet :-D