Dependent Types for Program Termination Verification.

Published in: High. Order Symb. Comput. (2002)

Keyphrases

symbolic execution
neural network
model checking
multiple types
concurrent systems
machine learning
information systems
decision trees
case study
image sequences
multiscale
search algorithm
program execution
term rewriting
rewrite systems