Search


	Podcast:		Blockchain Bit
	Episode:		Formal Verification and Smart Contracts - chat with developer Rikard Hjort
	Category:		Technology
	Duration:		00:29:30
	Publish Date:		2020-01-20 10:03:57
	Description:		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?
	Total Play:		0