News for hackers. Stuff that matters.

A comment on ATM NFC Hack. Parent comment

Re:ATM NFC Hack by omegalulw on Sunday June 27, 2021 @07:21PM (#27656409)
This is misleading. Formally verifying the behaviour of any large software is a really tall task, no matter what language they are written in.
[ Parent | on HN ]
Re:ATM NFC Hack by junon on Friday July 02, 2021 @10:18PM (#27718854)
That's not what the parent comment asserted though.
[ Parent | on HN ]