News for hackers. Stuff that matters.

A comment on Darpa Contract Awarded to Verify Blockchain-Based Integrity Monitoring System. Parent comment

Re:Darpa Contract Awarded to Verify Blockchain-Based Integri... by ajamesm on Thursday September 15, 2016 @10:13AM (#12506285)
Real computers are finite state machines, not Turing machines.
[ Parent | on HN ]
Re:Darpa Contract Awarded to Verify Blockchain-Based Integri... by bmm6o on Thursday September 15, 2016 @11:22AM (#12506914)
Correct but not relevant. No formal verification technique takes advantage of the fact that the computer has "only" 8 GB or RAM and 1 TB of disk space as its tape (~ 2^2^43 states).
[ Parent | on HN ]