Liveness verification in software model checking

软件模型检查中的活性验证

• 批准号: 16K00109
• 负责人: Tanabe Yoshinori
• 金额: $ 2.83万
• 依托单位: Tsurumi University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2016
• 资助国家: 日本
• 起止时间: 2016-04-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16K00109/
• 关键词: model checking; software; liveness; モデル検査; Java; ソフトウェア; ソフトウェア検証; アルゴリズム; ソフトウエア学; 仕様記述・検証

项目成果

ニューラルネットワークを用いた図書の自動分類

使用神经网络自动分类书籍

• 发表时间: 2019
• 期刊: 信学技報
• 作者: Katayama Kenta;Takahashi Hideyuki;Yokota Nobuhide;Sugiyasu Kazuya;Kinoshita Tetsuo;杉山治紀，田辺良則
• 通讯作者: 杉山治紀，田辺良則

ニューラルネットワークにおける表現可能なデータ数のSSReflectによる形式化

使用 SSReflect 对神经网络中可表示数据的数量进行形式化

• 发表时间: 2019
• 作者: 井上健太;山本光晴
• 通讯作者: 山本光晴

MQTT 実装のモデルベーステスト

MQTT 实现的基于模型的测试

• 发表时间: 2016
• 期刊: ソフトウェア工学の基礎
• 作者: Sinapayen L.;Nakamura K.;Nakadai K.;Takahashi H.;Kinoshita T.;岩田夏織，伊藤嘉浩;米山惇，Cyrille Artho，田辺良則，萩谷昌己
• 通讯作者: 米山惇，Cyrille Artho，田辺良則，萩谷昌己

Datalogを利用したネットワーク設定変更手順生成

使用 Datalog 生成网络设置更改过程

• 发表时间: 2016
• 期刊: 信学技報
• 作者: 山下 遼;湯 素華;小花貞夫;山崎智史，登内敏夫，田辺良則
• 通讯作者: 山崎智史，登内敏夫，田辺良則

Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants

使用断言和不变量自动生成与评分标准相对应的编程问题

• 发表时间: 2019
• 期刊: Sustainable ICT, Education and Learning - IFIP TC3 WG3.4 in collaboration with other TC3 WGs (SUZA2019)
• 作者: Masami Hagiya;Kosuke Fukuda;Yoshinori Tanabe;and Toshinori Saito
• 通讯作者: and Toshinori Saito