A General Approach to Under-Approximate Reasoning About Concurrent Programs.

Azalea Raad Julien Vanegue Josh Berdine Peter W. O'Hearn

Published in: CONCUR (2023)

Keyphrases

concurrent programs
real time
databases
machine learning
case study
communication networks