Login / Signup
Unbounded Software Model Checking with Incremental SAT-Solving.
Marko Kleine Büning
Tomás Balyo
Carsten Sinz
Published in:
CoRR (2018)
Keyphrases
</>
model checking
sat solving
temporal logic
formal verification
formal methods
finite state
sat solvers
verification method
boolean satisfiability
sat problem
test cases
search tree
orders of magnitude
clause learning