Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/200773
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_6
-
Titel: 
Hardware Model Checking Competition 2024
en
Zitat: 
Biere, A., Froleyks, N., & Preiner, M. (2024). Hardware Model Checking Competition 2024. In N. Narodytska & P. Rümmer (Eds.), Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 (pp. 7–7). TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5_6
-
reposiTUm-DOI: 
10.34727/2024/isbn.978-3-85448-065-5_6
-
CatalogPlus: 
AC17313131
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Biere, Armin 
Froleyks, Nils 
Preiner, Mathias 
-
Herausgeber_innen: 
Narodytska, Nina 
Rümmer, Philipp 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Reihe: 
Conference Series: Formal Methods in Computer-Aided Design 
-
Erschienen in: 
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 
-
ISBN: 
978-3-85448-065-5
-
Datum (veröffentlicht): 
Okt-2024
-
Umfang: 
1
-
Verlag: 
TU Wien Academic Press
-
Peer Reviewed: 
Ja
-
Keywords: 
formale Methode
de
 
formal methods
en
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:
Open Access Series
Conference Paper

Miniaturbild
Volltext (Version of Record (published version))
Adobe PDF
(90.02 kB)
Hardware Model Checking Competition 2024
Open Access CC BY 4.0
Zur Langanzeige

Seiten Aufrufe

517
aufgerufen am 23.09.2024

Download(s)

138
aufgerufen am 23.09.2024

Google ScholarTM

Check