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

Development of Runtime-error Verification Techniques via Transformation into Rewriting-based Computation Models

Research Project

Project/Area Number 24KJ1240
Research Category

Grant-in-Aid for JSPS Fellows

Allocation TypeMulti-year Fund
Section国内
Review Section Basic Section 60010:Theory of informatics-related
Research InstitutionNagoya University

Principal Investigator

小嶋 美咲  名古屋大学, 情報学研究科, 特別研究員(PD)

Project Period (FY) 2024-04-23 – 2026-03-31
Project Status Granted (Fiscal Year 2024)
Budget Amount *help
¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2025: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2024: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Outline of Research at the Start

本研究では,書換え型計算モデルへの変換を利用した実行時エラー検証技術の構築のために,指定した実行時エラーが発生しないことを全パス到達可能性に帰着して検証する枠組みを開発する.具体的には,並行プログラムからLCTRSへの変換,プログラムと実行時エラーからLCTRSと全パス到達可能性問題への変換を提案する.そして,全パス到達可能性問題を解くための自動証明システムを循環証明の技術に基づき実現する.さらに,並行プログラムの検証では探索空間が膨大であるため,自動証明システムの効率化を図る.

URL: 

Published: 2024-04-24   Modified: 2024-07-03  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi