以下の発表を中村君が行いました。
http://www.jssac.org/Conference/Tai/jssac2024-2.html
形式的検証を用いたSAS-L2の安全性の検証
中村凌也(愛媛大学)*,清水健吾(愛媛大学),岡本悠(愛媛大学),王森レイ(愛媛大学),甲斐博(愛媛大学),高橋寛(愛媛大学),清水明宏(愛媛大学)
2024年6月15日（土）10:30-11:00
日本数式処理学会第32回大会，会場：愛媛大学南加記念ホール
以下の発表を中村君が行いました。
http://www.jssac.org/Conference/Tai/jssac2024-2.html
形式的検証を用いたSAS-L2の安全性の検証
中村凌也(愛媛大学)*,清水健吾(愛媛大学),岡本悠(愛媛大学),王森レイ(愛媛大学),甲斐博(愛媛大学),高橋寛(愛媛大学),清水明宏(愛媛大学)
2024年6月15日（土）10:30-11:00
日本数式処理学会第32回大会，会場：愛媛大学南加記念ホール