Context-Bounded Analysis of Concurrent Programs (Invited Talk).

Pascal Baumann, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

Browse the full ICALP paper archive.