Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Institut für Informationssicherheit und Verlässlichkeit (KASTEL) – Anwendungsorientierte Formale Verifikation
Veröffentlichungen

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

Zeitschriftenartikel
Autor(en):Samuel Teuber, Marko Kleine Büning und Carsten Sinz
Zeitschrift:CoRR
Band:abs/2008.10061
Jahr: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}
}