Automated Methods for Proving Program Termination and Liveness.

Andrey Rybalchenko

Published in: SYNASC (2009)

Keyphrases

term rewrite systems
neural network
hidden markov models
computer programs
program execution
data sets
real world
search algorithm
information technology
artificial neural networks
test cases
java programs