课题基金 / 基金详情

A divide and conquer approach to parallelization of LTL model checking

A divide and conquer approach to parallelization of LTL model checking
LTL 模型检查并行化的分而治之方法
批准号：
19H04082
负责人：
OGATA Kazuhiro
金额：
$10.73万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2019
资助国家：
日本
项目状态：
已结题
起止时间：
2019-04-01 至 2023-03-31
来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-19H04082/
关键词：
モデル検査分割統治並列化leads-to性eventual性条件付安定性until性until安定性状態空間爆発線形時相論理Maude状態爆発LTLLeads-to性質状態機械

项目摘要

项目成果

OGATA Kazuhiro的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(27)
专著(0)
科研奖励(0)
会议论文
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and?Maude
鸿沟
DOI： 10.1007/978-3-030-41418-4_4
发表时间： 2020
期刊： Proc. of 9th International Workshop on SOFL+MSVL
影响因子： --
作者： [Minh Do Canh, Ogata Kazuhiro]
通讯作者： Ogata Kazuhiro
A Divide & Conquer Approach to Conditional Stable Model Checking
鸿沟
DOI： 10.1007/978-3-030-85315-0_7
发表时间： 2021
期刊： 18th International Colloquium on Theoretical Aspects of Computing
影响因子： --
作者： [Phyo Yati, Do Canh Minh, Ogata Kazuhiro]
通讯作者： Ogata Kazuhiro
Parallel stratified random testing for concurrent programs
DOI： 10.1109/qrs-c51114.2020.00024
发表时间： 2020-12
期刊： 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C)
影响因子： --
作者： [Canh Minh Do;K. Ogata]
通讯作者： Canh Minh Do;K. Ogata
Parallel Specification-Based Testing for Concurrent Programs
并发程序的基于并行规范的测试
DOI： 10.1109/access.2022.3155629
发表时间： 2022
期刊： IEEE Access
影响因子： 3.9
作者： [Canh Minh Do, Ogata Kazuhiro]
通讯作者： Ogata Kazuhiro
共 16 条
    Study of the mechanism of nucleosome-enhanceosome conversion
    • 批准号：
      18K19305
    • 项目类别：
      Grant-in-Aid for Challenging Research (Exploratory)
    • 资助金额：
      $4.08万
    • 财政年份：
      2018
    • 负责人：
      OGATA Kazuhiro
    • 依托单位：
      Yokohama City University
    Methodology and Environment for Effectively Using Theorem Provers and Model Checkers
    Mechanism for regulation of DECODE complexes in gene activation
    • 批准号：
      17054033
    • 项目类别：
      Grant-in-Aid for Scientific Research on Priority Areas
    • 资助金额：
      $67.58万
    • 财政年份：
      2005
    • 负责人：
      OGATA Kazuhiro
    • 依托单位：
      Yokohama City University
    Molecular structural study for regulation on the activities of the hematopoietic transcriptional regulatory factors
    • 批准号：
      14380296
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $10.37万
    • 财政年份：
      2002
    • 负责人：
      OGATA Kazuhiro
    • 依托单位：
      Yokohama City University
    海外基金