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

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

Published in: ICALP (2023)

Keyphrases

invited talk
concurrent programs
knowledge base
data model
general purpose
web applications
selected papers