Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Record link:
http://hdl.handle.net/20.500.12708/154065
-
Title:
PolySAT - a word-level solver for large bitvectors
en
Citation:
Rath, J., Bjørner, N., Kovacs, L., Nutz, A., & Sagiv, M. (2022, September 1).
PolySAT - a word-level solver for large bitvectors
[Presentation]. Formal Reasoning about Financial Systems, Stanford, United States of America (the).
-
Publication Type:
Presentation - Presentation
en
Vortrag - Presentation
de
Language:
English
-
Authors:
Rath, Jakob
Bjørner, Nikolaj
Kovacs, Laura
Nutz, Alexander
Sagiv, Mooly
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
1-Sep-2022
-
Event name:
Formal Reasoning about Financial Systems
en
Event date:
1-Sep-2022
-
Event place:
Stanford, United States of America (the)
-
Keywords:
SMT solving; Bitvectors; Smart Contract Verification
en
Research Areas:
Logic and Computation: 100%
-
Science Branch:
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Presentation
Show full item record
Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.
Page view(s)
16
checked on Mar 6, 2023
Google Scholar
TM
Check