Formal Methods

Last modified: 2 June, 2023

Formal Methods

Papers in Refereed Proceedings

吉田聡・竹内泉・小池憲史・大崎人士: 図示記法表現とLTL論理式, 第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008, 仙台, 2008年3月)論文集, 204-215. 正誤表.
小池憲史・吉田聡・大崎人士: LTLモデル検査の為の図示記法, ソフトウェア工学の基礎 14―日本ソフトウェア科学会 FOSE2007(14) (レクチャーノート/ソフトウェア学 33), 35-44, 近代科学社, 2007.

Research Reports

吉田聡: ソフトウェア更新システムプロトコルの様相論理S4に基づく検証, 公立鳥取環境大学紀要, vol. 14, pp.95-103, 2016年3月.
準備的成果: 第2回山陰基礎論・解析学研究集会, 国際ファミリープラザ(米子), 2015年1月.
吉田聡・山形頼之: ソフトウェア更新システムプロトコルのBAN logicによる安全性検証 , AIST Programming Science Technical Report, CVS/AIST, PS-2007-006, 2007年6月.

Talks

吉田聡: システム開発の基盤となる能力育成への大学教育の試み Tsukuba Software Science Seminar, 産業技術総合研究所, 2017年9月.
吉田聡: 様相論理S4に基づくプロトコル検証, 第27回代数, 論理, 幾何と情報科学研究集会(ALGI), 信州大学, 2016年8 月.
岡本圭史, 松野裕, 吉田聡: D-Case による SysML の説明力向上を目指して, 信学技報, vol. 115, no. 281, KBSE2015-38, pp. 13-16, 2015年10 月;
電子情報通信学会知能ソフトウェア工学研究会(KBSE), 日本大学理工学部駿河台キャンパス, 2015 年 10 月.
吉田聡: モデル検査と図示記法 , 第42回MLG数理論理学研究集会(九州産業大学, 2008年11月)議事録, 20-24.
高井利憲, 吉田聡: アセンブラプログラムのモデル検査によるバグ解析事例, 第4回システム検証の科学技術シンポジウム（名古屋大学, 2007年11月）予稿集, 101-106.
高井利憲, 吉田聡:, アセンブラプログラムのモデル検査による検証事例, 第5回ディペンダブルシステムワークショップ (DSW07) (函館, 2007年7月)予稿集, 13-16.
小池憲史, 吉田聡: 図示記法：現場技術者のための時相表現, 3rd VERITE, JAIST, 2006年11月.

Tutorials