6 ms·
Manticore in the post above uses formal methods to verify contract properties! https://github.com/trailofbits/manticore https://github.com/trailofbits/manticor
by dguido 9y ago
Manticore in the post above uses formal methods to verify contract properties!
https://github.com/trailofbits/manticore https://github.com/trailofbits/manticore