Efficient Predicate Abstraction of Program Summaries.

Arie Gurfinkel Sagar Chaki Samir Sapra

Published in: NASA Formal Methods (2011)

Keyphrases

lightweight
program execution
neural network
genetic algorithm
decision trees
cost effective
computationally expensive
computer programs
control program