A few behavioral modeling options for balancing verification coverage and credibility.

Published in: CICC (2015)

Keyphrases

model checking
colored petri nets
information retrieval
computer vision
modeling method
database
databases
image processing
formal analysis