Mixing Coverability and Reachability to Analyze VASS with One Zero-Test.

Alain Finkel Arnaud Sangnier

Published in: SOFSEM (2010)

Keyphrases

state space
real time
data sets
databases
artificial intelligence
training data
search algorithm
test cases
test data