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/200775
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_8
-
Title:
Extending DRAT to SMT
en
Citation:
Hitarth, S., Codel, C., Lachnitt, H., & Dutertre, B. (2024). Extending DRAT to SMT. In N. Narodytska & P. Rümmer (Eds.),
Extending DRAT to SMT
(pp. 18–28). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_8
-
reposiTUm DOI:
10.34727/2024/isbn.978-3-85448-065-5_8
-
CatalogPlus:
AC17313126
-
Publication Type:
Inproceedings - Full-Paper Contribution
en
Language:
English
-
Authors:
Hitarth, S.
Codel, Cayden
Lachnitt, Hanna
Dutertre, Bruno
-
Editors:
Narodytska, Nina
Rümmer, Philipp
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Series:
Conference Series: Formal Methods in Computer-Aided Design
-
Published in:
Extending DRAT to SMT
-
ISBN:
978-3-85448-065-5
-
Date (published):
Oct-2024
-
Number of Pages:
11
-
Publisher:
TU Wien Academic Press
-
Peer reviewed:
Yes
-
Keywords:
formale Methode
de
formal methods
en
Research Areas:
Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%
-
Science Branch:
1020 - Informatik: 100%
-
License:
CC BY 4.0
en
Appears in Collections:
Conference Paper
Open Access Series
Fulltext (Version of Record (published version))
Adobe PDF
(539.04 kB)
Extending DRAT to SMT
CC BY 4.0
Show full item record
Google Scholar
TM
Check