4 ms·
Congrats on the launch but....needs a TL; DR;. Holy wall of text, batman!
by thebiglebrewski 8y ago
Congrats on the launch but....needs a TL; DR;. Holy wall of text, batman!
- saurabh20n 8y agoLOL. I agree. Want to take a stab at it?
- 1996 8y agoTLDR: you use formal verification methods to find obvious bugs in the sourcecode of blockchain contracts, taking advantage of the blockchain natural properties to limit the search space You have a great idea there. Run with it!