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

Synthesis of High-Level Programs from Temporal and Relational Specifications

Research Project

Project/Area Number 20H04162
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Review Section Basic Section 60050:Software-related
Research InstitutionUniversity of Tsukuba

Principal Investigator

海野 広志  筑波大学, システム情報系, 准教授 (80569575)

Co-Investigator(Kenkyū-buntansha) 南出 靖彦  東京工業大学, 情報理工学院, 教授 (50252531)
寺内 多智弘  早稲田大学, 理工学術院, 教授 (70447150)
Project Period (FY) 2020-04-01 – 2025-03-31
Project Status Granted (Fiscal Year 2021)
Budget Amount *help
¥17,030,000 (Direct Cost: ¥13,100,000、Indirect Cost: ¥3,930,000)
Fiscal Year 2022: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2021: ¥3,120,000 (Direct Cost: ¥2,400,000、Indirect Cost: ¥720,000)
Fiscal Year 2020: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Keywordsプログラム合成 / プログラム検証 / 時相的仕様 / 関係的仕様
Outline of Research at the Start

高度情報化社会において、日常業務の自動化から社会基盤を支えるシステム開発まで、様々な場面でプログラミングの重要性が増している。本研究では、ミッションクリティカルシステムの一部としての利用にも耐える高信頼・高効率のプログラムを、必ずしもプログラミングや形式手法の知識を持たないユーザが、少ない労力で得ることが可能な世界の実現を目指し、プログラム検証・合成のための理論構築およびツールの研究・開発を行う。

URL: 

Published: 2020-04-28   Modified: 2022-04-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi