Solving constraints over Bit-vectors with SAT-based model checking extended abstract

Yakir Vizel, Alexander Nadel, Sharad Malik

Research output: Contribution to journal › Article › peer-review

All Science Journal Classification (ASJC) codes

@article{f3d474e943f24e5c85b71c241c66276c,

title = "Solving constraints over Bit-vectors with SAT-based model checking extended abstract",

author = "Yakir Vizel and Alexander Nadel and Sharad Malik",

year = "2017",

month = jan,

day = "1",

language = "English (US)",

volume = "1889",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

}

TY - JOUR

T1 - Solving constraints over Bit-vectors with SAT-based model checking extended abstract

AU - Vizel, Yakir

AU - Nadel, Alexander

AU - Malik, Sharad

PY - 2017/1/1

Y1 - 2017/1/1

UR - http://www.scopus.com/inward/record.url?scp=85030130440&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85030130440&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:85030130440

SN - 1613-0073

VL - 1889

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

ER -