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