Record link: 
http://hdl.handle.net/20.500.12708/18607
https://doi.org/10.34727/2021/isbn.978-3-85448-046-4
-
Title: 
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
en
Citation: 
Piskac, R., & Whalen, M. W. (Eds.). (2021). Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (Vol. 2). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4
-
reposiTUm DOI: 
10.34727/2021/isbn.978-3-85448-046-4
-
Publication Type: 
Konferenzband
de
 
Proceedings
en
Language: 
English
-
Editors: 
Piskac, Ruzica 
Whalen, Michael W. 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
-
Series: 
Conference Series: Formal Methods in Computer-Aided Design 
-
ISBN: 
978-3-85448-046-4
-
Date (published): 
Oct-2021
-
Number of Pages: 
284
-
Publisher: 
TU Wien Academic Press, Wien
-
Peer reviewed: 
Yes
-
Keywords: 
formal methods; computer-aided system design; hardware and system verification; formal verification; specification; synthesis and testing; automated and formal reasoning
en
 
formale Methode; rechnerunterstützte Systementwicklung; Hardwareverifikation; Systemverifikation; formale Verifikation; Spezifikation; Synthese und Testung; automatisches Schlussfolgern; formale Logik
de
Additional information: 
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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing.
-
Linked records in reposiTUm: has part: 
10.34727/2021/isbn.978-3-85448-046-4_1
10.34727/2021/isbn.978-3-85448-046-4_2
10.34727/2021/isbn.978-3-85448-046-4_3
10.34727/2021/isbn.978-3-85448-046-4_4
10.34727/2021/isbn.978-3-85448-046-4_5
10.34727/2021/isbn.978-3-85448-046-4_6
10.34727/2021/isbn.978-3-85448-046-4_7
10.34727/2021/isbn.978-3-85448-046-4_8
10.34727/2021/isbn.978-3-85448-046-4_9
10.34727/2021/isbn.978-3-85448-046-4_10
10.34727/2021/isbn.978-3-85448-046-4_11
10.34727/2021/isbn.978-3-85448-046-4_12
10.34727/2021/isbn.978-3-85448-046-4_13
10.34727/2021/isbn.978-3-85448-046-4_14
10.34727/2021/isbn.978-3-85448-046-4_15
10.34727/2021/isbn.978-3-85448-046-4_16
10.34727/2021/isbn.978-3-85448-046-4_17
10.34727/2021/isbn.978-3-85448-046-4_18
10.34727/2021/isbn.978-3-85448-046-4_18
10.34727/2021/isbn.978-3-85448-046-4_19
10.34727/2021/isbn.978-3-85448-046-4_20
10.34727/2021/isbn.978-3-85448-046-4_21
10.34727/2021/isbn.978-3-85448-046-4_22
10.34727/2021/isbn.978-3-85448-046-4_23
10.34727/2021/isbn.978-3-85448-046-4_24
10.34727/2021/isbn.978-3-85448-046-4_25
10.34727/2021/isbn.978-3-85448-046-4_26
10.34727/2021/isbn.978-3-85448-046-4_27
10.34727/2021/isbn.978-3-85448-046-4_28
10.34727/2021/isbn.978-3-85448-046-4_29
10.34727/2021/isbn.978-3-85448-046-4_30
10.34727/2021/isbn.978-3-85448-046-4_31
10.34727/2021/isbn.978-3-85448-046-4_32
10.34727/2021/isbn.978-3-85448-046-4_33
10.34727/2021/isbn.978-3-85448-046-4_34
10.34727/2021/isbn.978-3-85448-046-4_35
10.34727/2021/isbn.978-3-85448-046-4_36
10.34727/2021/isbn.978-3-85448-046-4_37
10.34727/2021/isbn.978-3-85448-046-4_38
-
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
(11.07 MB)
Published Version
Open Access CC BY 4.0
Thumbnail
Front Matter
Adobe PDF
(303.87 kB)
Table of Contents
Open Access CC BY 4.0
Show full item record

This item is licensed under a Creative Commons License Creative Commons

Page view(s)

878
checked on May 27, 2023

Download(s)

477
checked on May 27, 2023

Google ScholarTM

Check