Aotani Tomoyuki

ID:9000313615973

Department of Mathematical and Computing Sciences, Tokyo Institute of Technology (2016年 CiNii収録論文より)

Search authors sharing the same name

Articles:  1-1 of 1

  • Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

    Asakura Izumi , Masuhara Hidehiko , Aotani Tomoyuki

    We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL proposed by Blom et al., which is for automatic verification of GPGPU k …

    Journal of Information Processing 24(1), 132-140, 2016

    J-STAGE 

Page Top