Toshinobu Kashiwabara | 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.

著作論文

• 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

スポンサーリンク