328 citations · 382 across the 9 of their papers we have counts for
1 paper · 1 filter
Antoine Miné
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel and multi-threaded C programs. Following our work on Astrée, we focus on embedded c…