New Ethereum talks, every Monday. The week's conference uploads by event, in your inbox.

Loading player…

Runtime Verification: K Framework for Smart Contract Formal Verification with Rikard Hjort

Name: Runtime Verification: K Framework for Smart Contract Formal Verification with Rikard Hjort
Uploaded: 2021-10-25T00:00:00.000Z
Duration: 55 min 54 s
Description: Video from ETH Warsaw, Oct 2021.

ETH WarsawMon, Oct 25, 2021, 12:00 AM