C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sound sequentialization for concurrent program verification.
Azadeh Farzan
Dominik Klumpp
Andreas Podelski
Published in:
PLDI (2022)
Keyphrases
</>
neural network
sound source
search algorithm
artificial neural networks
user interface
database
real world
search engine
mutual exclusion