| 研究課題/領域番号 |
24K20757
|
|---|
| 研究種目 |
若手研究
|
| 配分区分 | 基金 |
|---|
| 審査区分 |
小区分60050:ソフトウェア関連
|
|---|
| 研究機関 | 北陸先端科学技術大学院大学 |
|---|
研究代表者 |
DO CanhMinh 北陸先端科学技術大学院大学, 先端科学技術研究科, 助教 (00981143)
|
|---|
| 研究期間 (年度) |
2024-04-01 – 2027-03-31
|
| 研究課題ステータス |
交付 (2024年度)
|
| 配分額 *注記 |
2,730千円 (直接経費: 2,100千円、間接経費: 630千円)
2026年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2025年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2024年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | Dynamic Quantum Logic / Quantum Protocols / Concurrency / Algebraic Specification / Maude |
|---|
| 研究開始時の研究の概要 |
This research project aims to develop automated formal verification of quantum protocols based on Dynamic Quantum Logic (DQL). This project will contribute to the reliability of quantum protocols and advance the development of DQL and its applications in automated quantum protocol verification.
|
