Login / Signup
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.
Sharon Barner
Cindy Eisner
Ziv Glazberg
Daniel Kroening
Ishai Rabinovitz
Published in:
Haifa Verification Conference (2006)
Keyphrases
</>
answer set programming
bounded model checking
sat solvers
state variables
evolutionary algorithm
neural network
state space
logic programming
constraint satisfaction
finite state machines
initial state
partial knowledge