TU Darmstadt / ULB / TUbiblio

PBMC: Symbolic Slicing for the Verification of Concurrent Programs

Saissi, Habib and Bokor, Peter and Suri, Neeraj (2015):
PBMC: Symbolic Slicing for the Verification of Concurrent Programs.
In: Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2015
Creators: Saissi, Habib and Bokor, Peter and Suri, Neeraj
Title: PBMC: Symbolic Slicing for the Verification of Concurrent Programs
Language: German
Title of Book: Proceedings of the Symposium on Automated Technology for Verification and Analysis, ATVA 2015
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
Profile Areas > Cybersecurity (CYSEC)
LOEWE > LOEWE-Zentren
Profile Areas
LOEWE
Date Deposited: 05 Oct 2016 19:42
Identification Number: TUD-CS-2015-0118
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item