Don't care in {SMT}–-Building flexible yet efficient abstraction/refinement solvers
| Title | Don't care in {SMT}–-Building flexible yet efficient abstraction/refinement solvers |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M |
| Conference Name | Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'07) |
| Series | RNTI, Revue des Nouvelles Technologies de l'Information |
| Conference Location | France |
Bibtex:
@inproceedings {BauerLST07,
title = {Don{\textquoteright}t care in {SMT}{\textendash}-Building flexible yet efficient abstraction/refinement solvers},
booktitle = {Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA{\textquoteright}07)},
series = {RNTI, Revue des Nouvelles Technologies de l{\textquoteright}Information},
year = {2007},
address = {France},
author = {Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig}
}PDF:
Postscript:
