STP-based verification and synthesis of state opacity for logical finite state machines.

Weiwei Han Yi Li Zhipeng Zhang Chengyi Xia

Published in: Inf. Sci. (2023)

Keyphrases

finite state machines
model checking
finite state automata
state transition
formal verification
cellular automaton
neural network
verification method
data analysis
object oriented
integrity constraints
relational data