Cover Image
Read Now

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

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,...

Full description

Bibliographic Details
Main Author: Piskac, Ruzica
Other Authors: Whalen, Michael
Format: eBook
Language:English
Published: Vienna TU Wien Academic Press 2021
Series:Conference Series: Formal Methods in Computer-Aided Design
Subjects:
Artificial Intelligence
Mathematical Theory Of Computation
Software Testing And Verification
Formal Methods; Computer-aided System Design; Hardware And System Verification; Formal Verification, Specification, Synthesis, And Testing; Automated And Formal Reasoning
Computer Architecture And Logic Design
Systems Analysis And Design
Online Access:
Collection: OAPEN - Collection details see MPG.ReNa
LEADER 02241nma a2200397 u 4500
001 EB002062740
003 EBX01000000000000001203851
005 00000000000000.0
007 cr|||||||||||||||||||||
008 220825 ||| eng
020 |a 9783854480464 
020 |a 2021/isbn.978-3-85448-046-4 
100 1 |a Piskac, Ruzica 
245 0 0 |a Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021  |h Elektronische Ressource 
260 |a Vienna  |b TU Wien Academic Press  |c 2021 
300 |a 284 p. 
653 |a Artificial intelligence 
653 |a Mathematical theory of computation 
653 |a Software testing and verification 
653 |a Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning 
653 |a Computer architecture and logic design 
653 |a Systems analysis and design 
700 1 |a Whalen, Michael 
700 1 |a Piskac, Ruzica 
700 1 |a Whalen, Michael 
041 0 7 |a eng  |2 ISO 639-2 
989 |b OAPEN  |a OAPEN 
490 0 |a Conference Series: Formal Methods in Computer-Aided Design 
500 |a Creative Commons (cc), https://creativecommons.org/licenses/by-sa/4.0/ 
028 5 0 |a 10.34727/2021/isbn.978-3-85448-046-4 
856 4 2 |u https://library.oapen.org/handle/20.500.12657/51064  |z OAPEN Library: description of the publication 
856 4 0 |u https://library.oapen.org/bitstream/id/fb63834c-1d9e-426e-beac-c90612011885/E-Book_Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021.pdf  |x Verlag  |3 Volltext 
082 0 |a 720 
082 0 |a 500 
082 0 |a 700 
520 |a 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. 

Similar Items