ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Listen "Formal Verification and Smart Contracts - chat with developer Rikard Hjort"
Episode Synopsis
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?
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?
In God we trust