Kiyoharu Hamaguchi | Osaka University

スポンサーリンク

概要

• 同名の論文著者
• Osaka Universityの論文著者

関連著者

• Kiyoharu Hamaguchi

  Osaka University

• Toshinobu Kashiwabara

  Osaka University

• Sho Takeuchi

  Osaka University, Presently with Hitachi Government and Public Corporation System Engineering Corp

• Kazuya Masuda

  Osaka University

• Hiroaki Shimizu

  Presently with IIM Corp.

• Masaki Nakanishi

  Yamagata University

• Yosuke Kakiuchi

  Osaka University

• Tomofumi Nakagawa

  Osaka University

• Tadaaki Tanimoto

  Renesas Electronics Corporation

著作論文

• Checker Generation of Assertions with Local Variables for Model Checking
• Approximate Model Checking Using a Subset of First-order Logic
• Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic
• Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts

スポンサーリンク