328 citations · 382 across the 9 of their papers we have counts for
1 paper · 1 filter
Guillaume Bau, Antoine Miné, Vincent Botbol +1
Static analysis of smart-contracts is becoming more widespread on blockchain platforms. Analyzers rely on techniques like symbolic execution or model checking, but few of them can…