Juan Conejero
Formal verification engineer at Runtime Verification, the company behind Kontrol, a tool that turns Foundry test suites into formal proofs by running them symbolically.
Formal verification engineer at Runtime Verification, the company behind Kontrol, a tool that turns Foundry test suites into formal proofs by running them symbolically.