课题基金 / 基金详情

Construction of a self-extendable software verification system based on class theory

Construction of a self-extendable software verification system based on class theory
基于类理论的可自扩展软件验证系统的构建
批准号：
25280025
负责人：
Sato Masahiko
金额：
$11.23万
依托单位：
Kyoto University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2013
资助国家：
日本
项目状态：
已结题
起止时间：
2013-04-01 至 2017-03-31
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-25280025/
关键词：
クラス理論型理論証明検証ソフトウェアの安全性仕様記述・検証証明支援系

项目摘要

项目成果

Sato Masahiko的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(21)
专著(0)
科研奖励(0)
会议论文
Proving confluence of term rewriting systems via persistency and decreasing diagrams
通过持久性和递减图证明术语重写系统的汇合
DOI： --
发表时间： 2014
期刊： Lecture Notes in Computer Science
影响因子： --
作者： [Takahito Aoto, Yoshihito Toyama and Kazumasa Uchida]
通讯作者： Yoshihito Toyama and Kazumasa Uchida
ボトムアップ最内項書き換えシステムの最内到達可能性
自下而上最内项重写系统的内部可达性
DOI： --
发表时间： 2014
期刊： コンピュータソフトウェア
影响因子： --
作者： [高橋翔大, 青戸等人, 外山芳人]
通讯作者： 外山芳人
A Hoare logic for SIMT programs
SIMT 程序的霍尔逻辑
DOI： --
发表时间： 2013
期刊： Lecture Notes in Computer Science
影响因子： --
作者： [Shinichi Nishizawa, Tohru Ishihara, Hidetoshi Onodera, 高橋紀之，井原岳志，高橋篤司, Kensuke Kojima and Atsushi Igarashi]
通讯作者： Kensuke Kojima and Atsushi Igarashi
フレーゲ哲学の現代的意義 - 野本和幸著『フレーゲ哲学の全貌』を読む -
弗雷格哲学的现代意义——读野本一之《弗雷格哲学全集》——
DOI： --
发表时间： 2016
期刊： 科学哲学
影响因子： --
作者： [上野哲平, 小林夏野, 秋光 純, 佐藤雅彦]
通讯作者： 佐藤雅彦
共 18 条
    The Martian magnetic field intensity estimation based on the magnetic properties of exsolved magnetite
    • 批准号：
      19K14777
    • 项目类别：
      Grant-in-Aid for Early-Career Scientists
    • 资助金额：
      $2.75万
    • 财政年份：
      2019
    • 负责人：
      Sato Masahiko
    • 依托单位：
      The University of Tokyo
    Deepening of a self-extendable software verification system based on class theory
    • 批准号：
      17H01724
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $11.65万
    • 财政年份：
      2017
    • 负责人：
      Sato Masahiko
    • 依托单位：
      Kyoto University
    Proof theoretic and semantical study of Fregean Logic
    • 批准号：
      16K13150
    • 项目类别：
      Grant-in-Aid for Challenging Exploratory Research
    • 资助金额：
      $2.16万
    • 财政年份：
      2016
    • 负责人：
      Sato Masahiko
    • 依托单位：
      Kyoto University
    Paleointensity experiment using zircon crystal sampled from river sand: toward reconstruction of magnetic field variation during last 4 Ga
    海外基金