The article mentioned that the project includes formal verification. From a mome... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

lallysingh on Sept 15, 2016 | parent | context | favorite | on: Darpa Contract Awarded to Verify Blockchain-Based ...

The article mentioned that the project includes formal verification. From a moment scanning Galois' web page: https://galois.com/research-development/software-correctness...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact