Automatic Verification of RMA Programs via Abstraction Extrapolation

Cedric Baumann, Andrei Marian Dan, Yuri Meshman, Torsten Hoefler, Martin T. Vechev. Automatic Verification of RMA Programs via Abstraction Extrapolation. In Isil Dillig, Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. Volume 10747 of Lecture Notes in Computer Science, pages 47-70, Springer, 2018. [doi]

Abstract

Abstract is missing.