Counterexample generation in CPS model checking based on ARSG algorithm.

Mingguang Hu Zining Cao Fujun Wang Weiwei Lu

Published in: Int. J. Comput. Sci. Eng. (2021)

Keyphrases

model checking
verification method
temporal logic
formal verification
deterministic finite automaton
computational complexity
finite state machines
formal specification
temporal properties
asynchronous circuits
np hard
automated verification