328 citations · 382 across the 9 of their papers we have counts for
1 paper · 2 filters
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…