Login / Signup
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
Himanshu Jain
Franjo Ivancic
Aarti Gupta
Ilya Shlyakhter
Chao Wang
Published in:
CAV (2006)
Keyphrases
</>
website
database
high level
invariant features
neural network
real world
information retrieval
bayesian networks
data structure
search algorithm
evolutionary algorithm
point correspondences
moment invariants
imperative programs