课题基金 / 基金详情

Verification of Problem Models with Proof Scores

Verification of Problem Models with Proof Scores
用证明分数验证问题模型
批准号：
18300008
负责人：
FUTATSUGI Kokichi
金额：
$12.09万
依托单位：
Japan Advanced Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2006
资助国家：
日本
项目状态：
已结题
起止时间：
2006 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18300008/
关键词：
仕様記述仕様検証形式手法問題モデル証明スコア帰納法場合分け仕様記述・仕様検証システム検証ソフトウェア工学振舞仕様安全性・信頼性安全性信頼性

项目摘要

项目成果

FUTATSUGI Kokichi的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
「帰納法」と「場合分け」は、問題モデル(問題領域や応用領域におけるモデル)の証明スコアによる検証法の基本技術である。本研究では、多様な応用分野で有効な帰納法と場合分けについて以下の成果を得た。(1)帰納法をデータ型・プロセス型の帰納的な構造に基づき定式化した。(2)場合分けを構成子からの項の生成に基づき定式化した。(3)(1),(2)に基づき、汎用的な証明規則を定式化するとともに、推論と探索を融合した強力な検証法を開発した。
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CafeOBJ入門(5)-認証プロトコルの検証
CafeOBJ入门（五）——认证协议的验证
DOI： --
发表时间： 2008
期刊： コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 26-1
影响因子： --
作者： [緒方和博, 二木厚吉, 中村正樹]
通讯作者： 中村正樹
Maude : 書換え論理に基づく計算機言語および処理系
Maude：基于重写逻辑的计算机语言和处理系统
DOI： --
发表时间： 2008
期刊： コンピュータソフトウェア(日本ソフトウェア科学会学会誌) 25-2
影响因子： --
作者： [緒方和博, 中村正樹, 二木厚吉]
通讯作者： 二木厚吉
Modeling and verification of real-time systems based on equations
基于方程的实时系统建模和验证
DOI： --
发表时间： 2007
期刊： Sci. of Comp. Prog 66(2)
影响因子： --
作者： [Kazuhiro Ogata, Kokichi Futatsugi]
通讯作者： Kokichi Futatsugi
Formal digital licence language with OTS/CafeOBJ method
采用 OTS/CafeOBJ 方法的正式数字许可语言
DOI： --
发表时间： 2008
期刊： Proc. of IEEE/ACS Intl. Conference on Computer Systems and Applications
影响因子： --
作者： [Jianwen Xiang, Dines Bjorner, Kokichi Futatsugi]
通讯作者： Kokichi Futatsugi
共 52 条
    Development of the Innovative Specification Verification System based on 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
    海外基金