Unrestricted Termination and Non-Termination Arguments for Bit-Vector Programs.

Cristina David Daniel Kroening Matt Lewis

Published in: CoRR (2014)

Keyphrases

bit vector
term rewriting
rewrite systems
machine learning
learning algorithm
computer vision
information systems
multiscale
information technology
programming environment
active rules