Integrating hybrid logics into concurrent program logic

Research Project

Project/Area Number	23K11051
Research Category	Grant-in-Aid for Scientific Research (C)
Allocation Type	Multi-year Fund
Section	一般
Review Section	Basic Section 60050:Software-related
Research Institution	Chiba Institute of Technology
Principal Investigator	安部達也千葉工業大学, 人工知能・ソフトウェア技術研究センター, 上席研究員 (50547388)
Project Period (FY)	2023-04-01 – 2026-03-31
Project Status	Granted (Fiscal Year 2023)
Budget Amount *help	¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000) Fiscal Year 2025: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000) Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000) Fiscal Year 2023: ¥2,210,000 (Direct Cost: ¥1,700,000、Indirect Cost: ¥510,000)
Keywords	並行プログラム論理 / ハイブリッド論理
Outline of Research at the Start	本研究は論理学分野で最近特に研究が進んでいる時間を扱う論理（ハイブリッド論理等）を並行プログラム論理の外部論理として用いた際の有用性について調べることを目的としています。また、並行プログラム論理の外部論理に時間を扱う論理に採用することを考慮することにより導かれる並行プログラム論理の拡張、特にメモリ一貫性モデルを考慮できる論理への拡張を目指します。これにより、より実用的なプログラムを現実的な環境設定で検査できる並行プログラム論理の基礎の確立を目指します。