Interpolant-Based Transition Relation Approximation

Ranjit Jhala Kenneth L. McMillan

Published in: CoRR (2007)

Keyphrases

database
approximation error
closed form
error bounds
approximation algorithms
approximation methods
neural network
real world
information retrieval
artificial intelligence
computational complexity
piecewise constant