The Bitcoin Podcast Network
Hashing It Out #78- Certora - Mooly Sagiv
- Autor: Vários
- Narrador: Vários
- Editor: Podcast
- Duración: 0:59:52
- Mas informaciones
Informações:
Sinopsis
Certora provides security analysis tools for Smart Contracts. Certora has unique technology called Certora Prover capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
