C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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