Podcasts Technology Blockchain Bit Formal Verification and Smart Contracts - chat with developer Rikard Hjort

Formal Verification and Smart Contracts - chat with developer Rikard Hjort

Published: Jan. 20, 2020, 10:03 a.m.

b'

In this episode me and Rikard Hjort talked about what Formal Verification is and how Smart Contracts gave a new lease of life to Formal Verification.

\\n

Rikard is a student of computer science at Chalmers University in Gothenburg and he also works for Runtime Verification, a software company focused on verification-based tools.

\\n

Runtime Verification: https://runtimeverification.com

\\n

Runtime\'s Firefly: https://runtimeverification.com/firefly/

\\n

Prototype Formal Semantics of WebAssembly in K: https://github.com/kframework/wasm-semantics

\\n

My article on Coinfomania: Security Tokens on Tezos: Higher Demand?

\\n


'