Record link: 
http://hdl.handle.net/20.500.12708/188648
https://doi.org/10.34727/2023/isbn.978-3-85448-060-0
-
Title: 
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
en
Citation: 
Nadel, A., & Rozier, K. Y. (Eds.). (2023). Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 (Vol. 4, pp. 1–317). TU Wien Academic Press. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0
-
reposiTUm DOI: 
10.34727/2023/isbn.978-3-85448-060-0
-
Publication Type: 
Proceedings - Full Paper Book
en
Language: 
English
-
Editors: 
Nadel, Alexander 
Rozier, Kristin Yvonne 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Series: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-060-0
-
Date (published): 
Oct-2023
-
Number of Pages: 
317
-
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
Abstract: 
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
en
Linked records in reposiTUm: has part: 
10.34727/2023/isbn.978-3-85448-060-0_1
10.34727/2023/isbn.978-3-85448-060-0_2
10.34727/2023/isbn.978-3-85448-060-0_3
10.34727/2023/isbn.978-3-85448-060-0_4
10.34727/2023/isbn.978-3-85448-060-0_5
10.34727/2023/isbn.978-3-85448-060-0_6
10.34727/2023/isbn.978-3-85448-060-0_7
10.34727/2023/isbn.978-3-85448-060-0_8
10.34727/2023/isbn.978-3-85448-060-0_9
10.34727/2023/isbn.978-3-85448-060-0_10
10.34727/2023/isbn.978-3-85448-060-0_11
10.34727/2023/isbn.978-3-85448-060-0_12
10.34727/2023/isbn.978-3-85448-060-0_13
10.34727/2023/isbn.978-3-85448-060-0_14
10.34727/2023/isbn.978-3-85448-060-0_15
10.34727/2023/isbn.978-3-85448-060-0_16
10.34727/2023/isbn.978-3-85448-060-0_17
10.34727/2023/isbn.978-3-85448-060-0_18
10.34727/2023/isbn.978-3-85448-060-0_19
10.34727/2023/isbn.978-3-85448-060-0_20
10.34727/2023/isbn.978-3-85448-060-0_21
10.34727/2023/isbn.978-3-85448-060-0_22
10.34727/2023/isbn.978-3-85448-060-0_23
10.34727/2023/isbn.978-3-85448-060-0_24
10.34727/2023/isbn.978-3-85448-060-0_25
10.34727/2023/isbn.978-3-85448-060-0_26
10.34727/2023/isbn.978-3-85448-060-0_27
10.34727/2023/isbn.978-3-85448-060-0_28
10.34727/2023/isbn.978-3-85448-060-0_29
10.34727/2023/isbn.978-3-85448-060-0_30
10.34727/2023/isbn.978-3-85448-060-0_31
10.34727/2023/isbn.978-3-85448-060-0_32
10.34727/2023/isbn.978-3-85448-060-0_33
10.34727/2023/isbn.978-3-85448-060-0_34
10.34727/2023/isbn.978-3-85448-060-0_35
10.34727/2023/isbn.978-3-85448-060-0_36
10.34727/2023/isbn.978-3-85448-060-0_37
10.34727/2023/isbn.978-3-85448-060-0_38
10.34727/2023/isbn.978-3-85448-060-0_39
-
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
en
Appears in Collections:
Open Access Series
Proceedings

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

Google ScholarTM

Check