Formal Verification Based Synthesis for Behavior Trees.

Weijiang Hong Zhenbang Chen Minglong Li Yuhan Li Peishan Huang Ji Wang

Published in: SETTA (2023)

Keyphrases

formal verification
model checking
model checker
bounded model checking
decision trees
symbolic model checking
automated verification
tree structure
program synthesis
program slicing
dynamic programming
programming language
formal specification
functional verification