Hayato Naito, Tomoyuki Yokogawa, Nao Igawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto. A Node-Style Visual Programming Environment for the nuXmv Model Checker. In 9th IEEE Global Conference on Consumer Electronics, GCCE 2020, Kobe, Japan, October 13-16, 2020. pages 71-75, IEEE, 2020. [doi]
Abstract is missing.