Login / Signup
An abstraction-based decision procedure for bit-vector arithmetic.
Randal E. Bryant
Daniel Kroening
Joël Ouaknine
Sanjit A. Seshia
Ofer Strichman
Bryan A. Brady
Published in:
Int. J. Softw. Tools Technol. Transf. (2009)
Keyphrases
</>
bit vector
bit vectors
high level
decision makers
decision making
decision process
hidden markov models
decision rules
floating point
real world
machine learning
artificial intelligence
probabilistic model
state space
iterative procedure