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. :-)
Assuming that the computer programs under study aren't allowed to interact with a disk, of course. :-)