@misc{indiciae55fd85c8f082,
  title = {Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking},
  author = {Isamu Hasegawa and Tomoyuki Yokogawa},
  year = {2021},
  doi = {10.1587/transinf.2021edp7063},
  url = {https://arxiv.org/abs/2103.11618},
  note = {Source identifier: 2103.11618}
}