A divide and conquer approach to parallelization of LTL model checking

LTL 模型检查并行化的分而治之方法

基本信息

项目摘要

项目成果

期刊论文数量(27)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and?Maude
鸿沟
A Divide & Conquer Approach to Conditional Stable Model Checking
鸿沟
Parallel stratified random testing for concurrent programs
Parallel Specification-Based Testing for Concurrent Programs
并发程序的基于并行规范的测试
  • DOI:
    10.1109/access.2022.3155629
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    3.9
  • 作者:
    Canh Minh Do;Ogata Kazuhiro
  • 通讯作者:
    Ogata Kazuhiro
A Parallel Stratified Model Checking Technique/Tool for Leads-to Properties
一种并行分层模型检查技术/工具,用于引导属性
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

OGATA Kazuhiro其他文献

Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method
使用 OTS/CafeOBJ 方法规范和验证多任务实时系统

OGATA Kazuhiro的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('OGATA Kazuhiro', 18)}}的其他基金

Study of the mechanism of nucleosome-enhanceosome conversion
核小体-增强小体转化机制的研究
  • 批准号:
    18K19305
  • 财政年份:
    2018
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Methodology and Environment for Effectively Using Theorem Provers and Model Checkers
有效使用定理证明器和模型检查器的方法和环境
  • 批准号:
    18500019
  • 财政年份:
    2006
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Mechanism for regulation of DECODE complexes in gene activation
基因激活中DECODE复合物的调节机制
  • 批准号:
    17054033
  • 财政年份:
    2005
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research on Priority Areas
Molecular structural study for regulation on the activities of the hematopoietic transcriptional regulatory factors
造血转录调控因子活性调控的分子结构研究
  • 批准号:
    14380296
  • 财政年份:
    2002
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)

相似海外基金

離散境界構造に基づく高速アルゴリズム
基于离散边界结构的快速算法
  • 批准号:
    22KJ0566
  • 财政年份:
    2023
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
分割統治法の高度化による中間形行列に対する高性能固有値ソルバの実現
改进分治法实现中间矩阵高性能特征值求解器
  • 批准号:
    22K12047
  • 财政年份:
    2022
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
寡分割高精度放射線治療に資するデータ駆動型アプローチの創出
创建有助于大分割高精度放射治疗的数据驱动方法
  • 批准号:
    22H03021
  • 财政年份:
    2022
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
協調性と耐障害性に優れた並列実行順序計画法
具有良好协调性和容错性的并行执行订单规划方法
  • 批准号:
    21K19774
  • 财政年份:
    2021
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Study on Machine Translation Focusing on Compositionality of Natural Language
关注自然语言组合性的机器翻译研究
  • 批准号:
    21H03500
  • 财政年份:
    2021
  • 资助金额:
    $ 10.73万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了