Merging State-Based and Action-Based Verification.

Henri Hansen Heikki Virtanen Antti Valmari

Published in: ACSD (2003)

Keyphrases

model checking
information retrieval
image processing
state space
sensing actions