Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors

Journal Article
Author(s):Samuel Teuber, Marko Kleine Büning, and Carsten Sinz
Journal:CoRR
Volume:abs/2008.10061
Year:2020
URL:https://arxiv.org/abs/2008.10061

BibTeX

@Article{teuber2020incremental,
  title         = {An Incremental Abstraction Scheme for Solving Hard
                   SMT-Instances over Bit-Vectors}, 
  author        = {Samuel Teuber and
                   Marko Kleine B{\"{u}}ning and
                   Carsten Sinz},
  year          = {2020},
  month         = aug,
  journal       = {CoRR},
  volume        = {abs/2008.10061},
  date          = {2020-08-23},
  eprint        = {2008.10061},
  archivePrefix = {arXiv},
  url           = {https://arxiv.org/abs/2008.10061}
}