Thread Quantification for Concurrent Shape Analysis

Josh Berdine, T. Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv

Details

Publication typeInproceedings
Published inComputer Aided Verification (CAV)
> Publications > Thread Quantification for Concurrent Shape Analysis