A Survey of Recent Advances in SAT-based Formal Verification

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

Original language	English
Pages (from-to)	156-173
Number of pages	18
Journal	International Journal on Software Tools for Technology Transfer (STTT)
Volume	7
Issue number	2
DOIs	https://doi.org/10.1007/s10009-004-0183-4
Publication status	Published - Apr 2005

Fields of science

@article{77eeed0fa07c471aabb855cd0a4e7aff,

title = "A Survey of Recent Advances in SAT-based Formal Verification",

author = "Armin Biere",

year = "2005",

month = apr,

doi = "10.1007/s10009-004-0183-4",

language = "English",

volume = "7",

pages = "156--173",

journal = "International Journal on Software Tools for Technology Transfer (STTT)",

issn = "1433-2787",

publisher = "Springer Nature",

number = "2",

}

TY - JOUR

T1 - A Survey of Recent Advances in SAT-based Formal Verification

AU - Biere, Armin

PY - 2005/4

Y1 - 2005/4

UR - https://www.scopus.com/pages/publications/25144498654

U2 - 10.1007/s10009-004-0183-4

DO - 10.1007/s10009-004-0183-4

M3 - Article

SN - 1433-2787

VL - 7

SP - 156

EP - 173

JO - International Journal on Software Tools for Technology Transfer (STTT)

JF - International Journal on Software Tools for Technology Transfer (STTT)

IS - 2

ER -