Formal Methods for the Working DeFi Dev
Duration: 01:03:31
Speaker: Rikard Hjort
Type: Workshop
Expertise:
Event: Devcon
Date: Oct 2022
Lecture notes: https://bit.ly/3RFwvBx Runtime Verification is known for formal methods, but you don't need a PhD to make your code better by thinking like a prover. Here we want to show you how you as a developer or auditor can apply fairly simple mathematical thinking to make your code more robust and your security work simpler. By thinking “invariants first” you can get stronger tests, better docs, and reduce the risk of introducing bugs in your future coding.
