News for hackers. Stuff that matters.

A comment on Our suite of Ethereum security tools. Parent comment

Re:Our suite of Ethereum security tools by dguido on Saturday March 24, 2018 @03:12PM (#16668294)
Manticore in the post above uses formal methods to verify contract properties!

https://github.com/trailofbits/manticore

[ Parent | on HN ]

There are no comments on this comment yet.