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 ScholarTM

Check