Raoul (@raoulsaffron) 's Twitter Profile
Raoul

@raoulsaffron

Formal Verification @rv_inc

Building Simbolik: The Solidity Debugger with built-in Symbolic Execution.

EVM | Solidity | Debugging | Formal Methods

ID: 1451148427073671174

linkhttps://simbolik.runtimeverification.com calendar_today21-10-2021 11:29:00

255 Tweet

1,1K Followers

1,1K Following

Raoul (@raoulsaffron) 's Twitter Profile Photo
Raoul
@raoulsaffron

3 months ago

This is the symbiotic fuzzing+formal verification workflow we use at Runtime Verification 1. Fuzzing with Foundry to quickly catch low-hanging fruits and provide fast feedback loops. 2. Formal Verification with Kontrol to ensure the strongest possible correctness guarantees.

This is the symbiotic fuzzing+formal verification workflow we use at Runtime Verification 1. Fuzzing with Foundry to quickly catch low-hanging fruits and provide fast feedback loops. 2. Formal Verification with Kontrol to ensure the strongest possible correctness guarantees.