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/154343
-
Title:
User-Propagation for Custom Theories in SMT Solving
en
Citation:
Eisenhofer, C. (2022, September 14).
User-Propagation for Custom Theories in SMT Solving
[Presentation]. 14th Alpine Verification Meeting, Frauenchiemsee, Germany. http://hdl.handle.net/20.500.12708/154343
-
Publication Type:
Presentation - Presentation
en
Language:
English
-
Authors:
Eisenhofer, Clemens
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Date (published):
14-Sep-2022
-
Event name:
14th Alpine Verification Meeting
en
Event date:
12-Sep-2022 - 14-Sep-2022
-
Event place:
Frauenchiemsee, Germany
-
Keywords:
SMT Solving; Theory Reasoning
en
Project title:
Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission)
-
Link (external):
https://avm.sosy-lab.org/2022/program.php
-
Research Areas:
Mathematical and Algorithmic Foundations: 100%
-
Science Branch:
1020 - Informatik: 100%
-
Appears in Collections:
Presentation
Show full item record
Google Scholar
TM
Check