• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

NAKANO Masahiro  中野 昌弘

ORCIDConnect your ORCID iD *help
Researcher Number 90470046
Affiliation (based on the past Project Information) *help 2008 – 2009: National Institute of Advanced Industrial Science and Technology, システム検証研究センター, 産総研特別研究員
Review Section/Research Field
Principal Investigator
Software
Keywords
Principal Investigator
仕様記述・仕様検証 / アルゴリズム工学 / 並列分散処理 / 数理論理学 / 仕様記述
  • Research Projects

    (1 results)
  • Research Products

    (1 results)
  •  Development of an automatic safety property prover with lemma discovery based on testPrincipal Investigator

    • Principal Investigator
      NAKANO Masahiro
    • Project Period (FY)
      2008 – 2009
    • Research Category
      Grant-in-Aid for Young Scientists (Start-up)
    • Research Field
      Software
    • Research Institution
      National Institute of Advanced Industrial Science and Technology

All 2008

All Presentation

  • [Presentation] 安全性・余安全性に対する反例集合の獲得2008

    • Author(s)
      中野昌弘, 高井利憲
    • Organizer
      第5回システム検証の科学技術シンポジウム
    • Data Source
      KAKENHI-PROJECT-20800082

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi