Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking.

Isamu Hasegawa Tomoyuki Yokogawa

Published in: CoRR (2021)

Keyphrases

symbolic model checking
formal verification
model checking
model checker
partial observability
temporal logic
symbolic representation
binary decision diagrams
tree structure