基于 Tableau 的大型系统时态属性模型检查方法-猫眼课题宝

基于 Tableau 的大型系统时态属性模型检查方法

批准号：

23K19959

负责人：

DO CanhMinh

金额：

$1.83万

依托单位：

Japan Advanced Institute of Science and Technology

依托单位国家：

日本

项目类别：

Grant-in-Aid for Research Activity Start-up

财政年份：

2023

资助国家：

日本

项目状态：

未结题

起止时间：

2023-08-31 至 2025-03-31

来源：

https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-23K19959/

关键词：

model checking temporal properties a tableau-based approach state space explosion parallelization

项目摘要

项目成果

DO CanhMinh的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

期刊论文(0)

专著(0)

科研奖励(0)

会议论文

Automated Formal Verification of Quantum Protocols for the Quantum Era

批准号：

24K20757
项目类别：

Grant-in-Aid for Early-Career Scientists
资助金额：

$1.75万
财政年份：

2024
负责人：

DO CanhMinh
依托单位：

Japan Advanced Institute of Science and Technology

海外基金