Counterexample Guided Path Reduction for Static Program Analysis.

Ansgar Fehnker Ralf Huuck Sean Seefried

Published in: Concurrency, Compositionality, and Correctness (2010)

Keyphrases

shortest path
model checking
endpoints
formal verification
databases
neural network
decision making
image processing
image segmentation
rough sets
reduction method
multiple paths