1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
@article{IEEE754,
author = {IEEE},
journal = {IEEE Std 754-2019 (Revision of IEEE 754-2008)},
title = {{IEEE Standard for Floating-Point Arithmetic}},
year = {2019},
pages = {1-84},
doi = {10.1109/IEEESTD.2019.8766229}
}
@inproceedings{btor,
author = {Brummayer, Robert and Biere, Armin and Lonsing, Florian},
title = {{BTOR: Bit-precise Modelling of Word-level Problems for Model
Checking}},
booktitle = {Proceedings of the Joint Workshops of the 6th International
Workshop on Satisfiability Modulo Theories and 1st International
Workshop on Bit-Precise Reasoning},
series = {SMT '08/BPR '08},
year = {2008},
isbn = {978-1-60558-440-9},
location = {Princeton, New Jersey, USA},
pages = {33--38},
numpages = {6},
doi = {10.1145/1512464.1512472},
acmid = {1512472},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {arrays, bit-vectors, model checking, word-level format},
}
@inproceedings{btor2,
author = {Aina Niemetz and
Mathias Preiner and
Clifford Wolf and
Armin Biere},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {{Btor2 , BtorMC and Boolector 3.0}},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {587--595},
publisher = {Springer},
year = {2018},
doi = {10.1007/978-3-319-96145-3\_32},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
}
@techreport{smtlib2,
author = {Clark Barrett and Pascal Fontaine and Cesare Tinelli},
title = {{The SMT-LIB Standard: Version 2.6}},
institution = {Department of Computer Science, The University of Iowa},
year = 2017,
url = {https://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf}
}
@techreport{aiger,
author = {Armin Biere and Keijo Heljanko and Siert Wieringa},
title = {{AIGER 1.9} And Beyond},
series = {FMV Technical Reports; 11/2},
date = {July 2011},
institution = {Institute for Formal Models and Verification, Johannes Kepler
University, Altenbergerstr. 69, 4040 Linz, Austria},
year = {2011},
doi = {10.35011/fmvtr.2011-2},
}
@inproceedings{fmcad20,
author = {Aina Niemetz and
Mathias Preiner},
title = {Ternary Propagation-Based Local Search for more Bit-Precise Reasoning},
booktitle = {2020 Formal Methods in Computer Aided Design, {FMCAD} 2020, Haifa,
Israel, September 21-24, 2020},
pages = {214--224},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6\_29},
doi = {10.34727/2020/ISBN.978-3-85448-042-6\_29},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/NiemetzP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{fmsd17,
author = {Aina Niemetz and
Mathias Preiner and
Armin Biere},
title = {Propagation based local search for bit-precise reasoning},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {3},
pages = {608--636},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0295-6},
doi = {10.1007/S10703-017-0295-6},
timestamp = {Fri, 13 Mar 2020 10:55:14 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/NiemetzPB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{cav24,
author = {Aina Niemetz and
Mathias Preiner and
Yoni Zohar},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Scalable Bit-Blasting with Abstractions},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14681},
pages = {178--200},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65627-9\_9},
doi = {10.1007/978-3-031-65627-9\_9},
timestamp = {Fri, 02 Aug 2024 11:58:28 +0200},
biburl = {https://dblp.org/rec/conf/cav/NiemetzPZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
|
