PBMC: Symbolic Slicing for the Verification of Concurrent Programs.

Habib Saissi, Pter Bokor, Neeraj Suri

Browse the full ATVA paper archive.