14 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Sandrine Blazy, Vincent Laporte, André Maroneze +1
Static analyzers based on abstract interpretation are complex pieces of software implementing delicate algorithms. Even if static analysis techniques are well understood, their imp…