Automatic Verification of RMA Programs via Abstraction Extrapolation.

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev

Browse the full VMCAI paper archive.