raxhvl
commented
2 months ago @taxmeifyoucan new updates:
- Tighter introduction - I linked an article that describes abstract interpretation instead of the long winded explanation. It was kind of tangential. I like intro much better. Let me know how you like it.
- Expanded contexts for popular tools.
- Included protocol verification done by Runtime team.
- Separated talks and publications + added workshops from DevCon you referenced.
I noticed the entry for formal verification was removed from the sidebar, maybe because it was a stretch. My research on the subject started few days ago and I figured I'd document it especially because of its role in Ethereum, and testing of critical systems in general.