SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages.Alexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz, In Computer Languages, Systems & Structures, volume 48, 2017. [pdf][bib]
On the verification of SCOOP programs.Georgiana Caltais, Bertrand Meyer, In Science of Computer Programming, volume 133, 2017.
[bib]