Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/219545
https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_16
-
Titel: 
Solving Set Constraints with Comprehensions and Bounded Quantifiers
en
Zitat: 
Mohamed, M., Feng, N., Reynolds, A., Tinelli, C., Barrett, C., & Chechik, M. (2025). Solving Set Constraints with Comprehensions and Bounded Quantifiers. In A. Irfan & D. Kaufmann (Eds.), Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 (pp. 104–114). TU Wien Academic Press. https://doi.org/10.34727/2025/isbn.978-3-85448-084-6_16
-
reposiTUm-DOI: 
10.34727/2025/isbn.978-3-85448-084-6_16
-
CatalogPlus: 
AC17653254
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Mohamed, Mudathir 
Feng, Nick 
Reynolds, Andrew 
Tinelli, Cesare 
Barrett, Clark 
Chechik, Marsha 
-
Herausgeber_innen: 
Irfan, Ahmed 
Kaufmann, Daniela 
-
Organisations­einheit: 
E000 - Technische Universität Wien 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Erschienen in: 
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 
-
ISBN: 
978-3-85448-084-6
-
Datum (veröffentlicht): 
2025
-
Umfang: 
11
-
Verlag: 
TU Wien Academic Press, Wien
-
Peer Reviewed: 
Ja
-
Keywords: 
formal methods; computer-aided system design; hardware and system verification
en
Zugehörige Publikationen und Daten in reposiTUm: beinhaltet: 
10.34727/2025/isbn.978-3-85448-084-6
-
Forschungs­schwerpunkte: 
Logic and Computation: 40%
Computer Engineering and Software-Intensive Systems: 40%
Computer Science Foundations: 20%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Lizenz: 
CC BY 4.0 CC BY 4.0
en
Enthalten in den Sammlungen:
Conference Paper
Open Access Series

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(779.92 kB)
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

18
aufgerufen am 30.09.2025

Download(s)

6
aufgerufen am 30.09.2025

Google ScholarTM

Check