Bas SpittersUsing formal methods to prevent creating money out of thin air2 min read·Mar 21, 2022----
Bas SpittersinBlockchain Academy NetworkFinding Real-World Bugs in Smart Contract Interactions with Property-Based TestingHow to automatically test for bugs in Decentralized Finance9 min read·Dec 14, 2020----
Bas SpittersinBlockchain Academy NetworkPreventing an $8M attack on Ethereum’s bZx deFI platform with property-based testingProperty-based testing of specifications is an easy, obvious, and cost-efficient option to discover potentially bugs.6 min read·Oct 7, 2020----