Record link: 
http://hdl.handle.net/20.500.12708/200767
https://doi.org/10.34727/2024/isbn.978-3-85448-065-5
-
Title: 
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
en
Citation: 
Narodytska, N., & Rümmer, P. (Eds.). (2024). Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024. TU Wien Academic Press. https://doi.org/10.34727/2024/isbn.978-3-85448-065-5
-
reposiTUm DOI: 
10.34727/2024/isbn.978-3-85448-065-5
-
CatalogPlus: 
AC17313148
-
Publication Type: 
Proceedings - Full Paper Book
en
Language: 
English
-
Editors: 
Narodytska, Nina 
Rümmer, Philipp 
-
Organisational Unit: 
E000 - Technische Universität Wien 
-
Series: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-065-5
-
Date (published): 
Oct-2024
-
Publisher: 
TU Wien Academic Press
-
Peer reviewed: 
Yes
-
Keywords: 
formale Methode; rechnerunterstützte Systementwicklung; Hardwareverifikation; Systemverifikation; formale Verifikation; Spezifikation; Synthese und Testung; automatisches Schlussfolgern; formale Logik
de
 
formal methods; computer-aided system design; hardware and system verification; formal verification; specification; synthesis and testing; automated and formal reasoning
en
Linked records in reposiTUm: has part: 
10.34727/2024/isbn.978-3-85448-065-5_1
10.34727/2024/isbn.978-3-85448-065-5_2
10.34727/2024/isbn.978-3-85448-065-5_3
10.34727/2024/isbn.978-3-85448-065-5_4
10.34727/2024/isbn.978-3-85448-065-5_5
10.34727/2024/isbn.978-3-85448-065-5_6
10.34727/2024/isbn.978-3-85448-065-5_7
10.34727/2024/isbn.978-3-85448-065-5_8
10.34727/2024/isbn.978-3-85448-065-5_9
10.34727/2024/isbn.978-3-85448-065-5_10
10.34727/2024/isbn.978-3-85448-065-5_11
10.34727/2024/isbn.978-3-85448-065-5_12
10.34727/2024/isbn.978-3-85448-065-5_13
10.34727/2024/isbn.978-3-85448-065-5_14
10.34727/2024/isbn.978-3-85448-065-5_15
10.34727/2024/isbn.978-3-85448-065-5_16
10.34727/2024/isbn.978-3-85448-065-5_17
10.34727/2024/isbn.978-3-85448-065-5_18
10.34727/2024/isbn.978-3-85448-065-5_19
10.34727/2024/isbn.978-3-85448-065-5_20
10.34727/2024/isbn.978-3-85448-065-5_21
10.34727/2024/isbn.978-3-85448-065-5_22
10.34727/2024/isbn.978-3-85448-065-5_23
10.34727/2024/isbn.978-3-85448-065-5_24
10.34727/2024/isbn.978-3-85448-065-5_25
10.34727/2024/isbn.978-3-85448-065-5_26
10.34727/2024/isbn.978-3-85448-065-5_27
10.34727/2024/isbn.978-3-85448-065-5_28
10.34727/2024/isbn.978-3-85448-065-5_29
10.34727/2024/isbn.978-3-85448-065-5_30
10.34727/2024/isbn.978-3-85448-065-5_31
10.34727/2024/isbn.978-3-85448-065-5_32
10.34727/2024/isbn.978-3-85448-065-5_33
10.34727/2024/isbn.978-3-85448-065-5_34
10.34727/2024/isbn.978-3-85448-065-5_35
-
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 CC BY 4.0
de
Appears in Collections:
Open Access Series
Proceedings

Thumbnail
Front Matter
Adobe PDF
(366.74 kB)
Front Matter
Open Access CC BY 4.0
Fulltext (Version of Record (published version))
Adobe PDF
(15.24 MB)
Open Access CC BY 4.0
Show full item record

Page view(s)

823
checked on Sep 23, 2024

Download(s)

253
checked on Sep 23, 2024

Google ScholarTM

Check