Kazuma Toyota, Tomoyuki Yokogawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto. A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users. In Tokuro Matsuo, Kunihiko Takamatsu, Yuichi Ono, editors, 12th International Congress on Advanced Applied Informatics, IIAI-AAI 2022, Kanazawa, Japan, July 2-8, 2022. pages 684-685, IEEE, 2022. [doi]
Abstract is missing.