Bounded Model Checking for Region Automata.

Fang Yu Bow-Yaw Wang Yao-Wen Huang

Published in: FORMATS/FTRTFT (2004)

Keyphrases

bounded model checking
model checking
formal verification
finite state
temporal logic
linear temporal logic
finite state machines
cellular automata
regular expressions
neural network
multi agent systems
image regions
finite automata
image segmentation
cooperative
input image