Graph Based Reduction of Program Verification Conditions

Jean-François Couchot Alain Giorgetti Nicolas Stouls

Published in: CoRR (2009)

Keyphrases

real time
multi agent
preprocessing
sufficient conditions
machine learning
case study
computational complexity
special case
semi supervised
graph based algorithm