Sign in

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

Azalea RaadJulien VanegueJosh BerdinePeter W. O'Hearn
Published in: CONCUR (2023)
Keyphrases
  • concurrent programs
  • real time
  • databases
  • machine learning
  • case study
  • communication networks