Login / Signup
Abstract Counterexample-Based Refinement for Powerset Domains.
Roman Manevich
John Field
Thomas A. Henzinger
G. Ramalingam
Mooly Sagiv
Published in:
Program Analysis and Compilation (2006)
Keyphrases
</>
application domains
real world
low level
expressive power
databases
artificial intelligence
e learning
high level
higher level
neural network
search engine
case study
data structure
hidden markov models
model checking