Automatic verification of transition systems with unspecified components.

Mo Xia Ming Jin Guiming Luo

Published in: ISCAS (2013)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
building blocks
reinforcement learning