Uri Kirstein (@kirsteinuri) 's Twitter Profile
Uri Kirstein

@kirsteinuri

Product Manager at @CertoraInc | @summit_defi organizing team

ID: 1455252074086678531

calendar_today01-11-2021 19:18:46

267 Tweet

282 Takipçi

219 Takip Edilen

Uri Kirstein (@kirsteinuri) 's Twitter Profile Photo
Uri Kirstein
@kirsteinuri

a month ago

Smart contract bug-finding tools all have shortcomings. Fuzzing misses input-specific bugs. Formal verification is powerful but slow and complex. At EthCC - Ethereum Community Conference, I’ll introduce Bounded Model Checking, an approach that finds realistic bugs by systematically exploring execution paths.

Smart contract bug-finding tools all have shortcomings. Fuzzing misses input-specific bugs. Formal verification is powerful but slow and complex. At <a href="/EthCC/">EthCC - Ethereum Community Conference</a>, I’ll introduce Bounded Model Checking, an approach that finds realistic bugs by systematically exploring execution paths.