课题基金 / 基金详情

Development of the Innovative Specification Verification System based on Proof Scores

Development of the Innovative Specification Verification System based on Proof Scores
基于证明分数的创新规格验证系统的开发
批准号：
23220002
负责人：
FUTATSUGI Kokichi
金额：
$111.74万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (S)
财政年份：
2011
资助国家：
日本
项目状态：
已结题
起止时间：
2011-04-01 至 2016-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23220002/
关键词：
仕様記述・仕様検証形式手法ソフトウェア工学代数仕様証明スコアCafeOBJ定理証明

项目摘要

项目成果

FUTATSUGI Kokichi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates
DOI： 10.1016/j.entcs.2013.02.013
发表时间： 2013-03
期刊：
影响因子： --
作者： [Min Zhang;K. Ogata;K. Futatsugi]
通讯作者： Min Zhang;K. Ogata;K. Futatsugi
Towards Formal Description of Standards for Automotive Operating Systems
DOI： 10.1109/icstw.2013.8
发表时间： 2013-03
期刊： 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops
影响因子： --
作者： [Hirokazu Yatsu;Takahiro Ando;W. Kong;K. Hisazumi;Akira Fukuda;Toshiaki Aoki;K. Futatsugi]
通讯作者： Hirokazu Yatsu;Takahiro Ando;W. Kong;K. Hisazumi;Akira Fukuda;Toshiaki Aoki;K. Futatsugi
Foundations of Logic Programming in Hybridised Logics
混合逻辑中的逻辑编程基础
DOI： 10.1007/978-3-319-28114-8_5
发表时间： 2015
期刊： Springer Lecture Notes in Computer Science (Recent Trends in Algebraic Development Techniques)
影响因子： --
作者： [Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda, Daniel Gaina]
通讯作者： Daniel Gaina
CafeOBJ: Algebraic Specification and Verification
CafeOBJ：代数规范和验证
DOI： --
发表时间：
期刊：
影响因子： --
作者： []
通讯作者：
共 88 条
    Verification of Problem Models with Proof Scores
    Construction and verification of problem models in behavioral specifications
    Safety Verification Technologies based on Behavioral Specifications
    A Study on Verification of Software Components in Object-Based Distributed Environments
    海外基金