Minimal Counterexample Generation for SPIN.

Paul Gastin Pierre Moro

Published in: SPIN (2007)

Keyphrases

generation process
case study
model checking
formal verification
data structure
image processing
website
clustering algorithm
natural language
artificial neural networks
user interface
image analysis
generation algorithm