Articles from whileydave.com

Articles from whileydave.com

Digging into the EVM Object Format (EOF) (whileydave.com)
2023-11-7

Proving Beautiful Mathematics in Dafny (whileydave.com)
2023-7-26 Mathematics

Programming Languages Going Above and Beyond (whileydave.com)
2023-7-26 programming

Programming Languages Going Above and Beyond (whileydave.com)
2023-6-28 programming

Formalising the EVM in Dafny (whileydave.com)
2023-2-21

Disassembling EVM Bytecode (the Basics) (whileydave.com)
2023-1-17

Verifying a Token Contract (whileydave.com)
2022-12-9

Formalising a Simple Virtual Machine (whileydave.com)
2022-7-19

Previous Page Next Page