A Node-Style Visual Programming Environment for the nuXmv Model Checker
Hayato Naito, Tomoyuki Yokogawa, Nao Igawa, Sousuke Amasaki, Hirohisa Aman, Kazutami Arimoto · 2020
In this paper, we introduce visual programming for supporting to conduct model checking. We focus on the nuXmv model-checker and propose a visual programming language for describing an input model for nuXmv. Our visual programming language provides a node-graph style interface, where a data flow of a target system is represented as nodes and edges. We adopt the Node-RED visual scripting system to implement our visual programming language and develop a programming environment that can be executed in a web browser.