2023年9月12日 Toward reliable network operations using formal verification techniques 日本ソフトウェア科学界 40周年企画セッション「若手研究者特別講演」