Formal Verification & Symbolic Execution | W/ Trail Of Bits

What is Formal Verification?
What is Symbolic Execution?

⛨ Looking for a smart contract audit?
Hit us up!

✅✅ Donate ✅✅
I use donated funds to spend money on making fun & informational videos.
ETH/Polygon/Avalanche/EVM Chains Wallet address:
0x9680201d9c93d65a3603d2088d125e955c73BD65

Or, optionally:

😸😸Follow Patrick!😸😸

All thoughts and opinions are my own.

[sdsgfhgthjj]

Thank you Patrick ❤
शरीरं सुरूपं तथा वा कलत्रं यशश्र्चारु चित्रं धनं मेरुतुल्यं
गुरोरङ्घ्रिपद्मे मनश्र्चेन लग्नं ततः किं ततः किं ततः किं ततः किं ||

[davidcrary]

Great stuff man! I don't think there are many people out there smart enough to explain these concepts so well and in such an entertaining way.

[theblockchainer]

This is such a valuable video! Thank you, Patrick! And yes, now that you have opened this door, I need to learn more about symbolic execution, please! :)

[sebastianarango]

Hey master!!! Loved this video, I would ABSOLUTELY LOVE more videos like this one! Always tuned! 💯💯

[shikharagarwale]

Hello fren!, I got a problem with my computer. I have 2 system. In one system when I copy the public address from metamask or from anywhere its copied correctly. But the other system is messing it up. I tried copying different address from that system, but each time the same address is on the clipboard. I don't know from where it is coming from. Please help.😢

[lawniczakjohn]

Hey Patrick, Manticore seems to no longer be maintained. Any other suggestions, or is the older version still good to work with?

[TXs-yv]

I really appreciate what are you providing to the industry and the way you explain complex stuff that even me as not native English speaker could understand it.. thank you Patrick 🙏🙏🤍 .. Waiting for
auditing course