Microsoft Research
Microsoft Translator |
Thread Quantification for Concurrent Shape Analysis

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

cav08.pdf
PDF file

In  Computer Aided Verification (CAV)

Details

TypeInproceedings
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Thread Quantification for Concurrent Shape Analysis