Acceleration-based safety decision procedure for programs with arrays.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: LPAR (short papers) (2013)

Keyphrases

decision making
decision makers
decision rules
real time
artificial intelligence
decision trees
search procedure
making decisions
database
real world
search engine
database systems
search algorithm
high speed
computer programs
automatic programming