Magister Informatika berkerjasama dengan hibah publikasi nasional dari LPPM UIN Sunan Kalijaga mengadakankegiatan bedah paper ini dilaksanakan pada hari Rabu, 26 September 2018 di ruang 101, Fakultas Sains dan Teknologi, UIN Sunan Kalijaga. Pembedah paper ini adalah seorang ahli di bidang yang berkaitan dengan tema paper. Beliau adalah seorang dosen dari UGM, bernama Dr-Ing. Mhd. Reza M. I. Pulungan, M.Sc. Pada sesi presentasi , beliau memulai dengan mengkritisi paper dan kemudian melanjutkan dengan memberikan presentasi beberapa materi yang terkait dengan paper tersebut. Materi-materi yang diberikan misalnya adalah Model Checking secara umum, dan Bahasa Z secara umum.

Peserta pada kegiatan bedah paper ini adalah mahasiswa/ i Magister Informatika, UIN Sunan Kalijaga. Ketua Magister Informatika Dr. Bambang Sugiantoro juga berharap agar para mahasiswa S2 Informatika UIN Sunan Kalijaga dapat mengambil manfaat dari materi yang disampaikan oleh narasumber dan mampu mengembang sehingga menjadi peluang penelitian lanjutan.