超高信頼ソフトウェアシステム検証学研究室のM1の辻がSIGSS研究会で研究発表しました。