@techreport{weko_232376_1,
   author	 = "Joe,Hattori and Yuuki,Takano and Naoki,Kobayashi",
   title	 = "Towards Automatic Verification of Concurrency Memory Bug Freeness of Linux Kernel Modules by Transpilation to PlusCal",
   year 	 = "2024",
   institution	 = "University of Tokyo／TIER IV, Inc., TIER IV, Inc., University of Tokyo",
   number	 = "7",
   month	 = "feb"
}