Raoul Schaffranek

Raoul Schaffranek writes technical guides to formal verification and debugging Solidity smart contracts.

5 talks by Raoul Schaffranek

• Raoul Schaffranek - Security tooling: Debugging Solidity
• Solidity Internals - Raoul Schaffranek | Runtime Verification
• Solidity Debugging meets Formal Methods
• Solidity Debugging meets Formal Methods - Raoul Schaffranek | Runtime Verification, Inc.
• Tackling Rounding Errors with Precision Analysis by Raoul Schaffranek | Devcon Bogotá