Sign up to save your podcasts
Or
Share Formal Verification and Smart Contracts - chat with developer Rikard Hjort
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Formal Verification and Smart Contracts - chat with developer Rikard Hjort
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.
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.
Runtime Verification: https://runtimeverification.com
Runtime's Firefly: https://runtimeverification.com/firefly/
Prototype Formal Semantics of WebAssembly in K: https://github.com/kframework/wasm-semantics
My article on Coinfomania: Security Tokens on Tezos: Higher Demand?
View all episodes
By Ana Paula PicassoIn 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.
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.
Runtime Verification: https://runtimeverification.com
Runtime's Firefly: https://runtimeverification.com/firefly/
Prototype Formal Semantics of WebAssembly in K: https://github.com/kframework/wasm-semantics
My article on Coinfomania: Security Tokens on Tezos: Higher Demand?