Publications
PBMC: Symbolic Slicing for the Verification of Concurrent Programs
| Author | Saissi, Habib; Bokor, Peter; Suri, Neeraj |
|---|---|
| Date | 2015 |
| Type | Conference Proceedings |
| In | Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015 |
| Partn | TUD-CS-2015-0118 |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/101699 |
