LEADER 02430nam 2200481z- 450 001 996580848503316 005 20231214133526.0 035 $a(CKB)5590000000629475 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/72387 035 $a(EXLCZ)995590000000629475 100 $a20202110d2021 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProceedings of the 21st Conference on Formal Methods in Computer-Aided Design ? FMCAD 2021 210 $aVienna$cTU Wien Academic Press$d2021 215 $a1 electronic resource (284 p.) 225 1 $aConference Series: Formal Methods in Computer-Aided Design 311 $a1-66540-294-6 311 $a3-85448-046-6 330 $aThe 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. 517 $a2021 Formal Methods in Computer Aided Design 606 $aSystems analysis & design$2bicssc 606 $aSoftware testing & verification$2bicssc 606 $aComputer architecture & logic design$2bicssc 606 $aMathematical theory of computation$2bicssc 606 $aArtificial intelligence$2bicssc 610 $aFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning 615 7$aSystems analysis & design 615 7$aSoftware testing & verification 615 7$aComputer architecture & logic design 615 7$aMathematical theory of computation 615 7$aArtificial intelligence 700 $aPiskac$b Ruzica$4edt$01283190 702 $aWhalen$b Michael$4edt 702 $aPiskac$b Ruzica$4oth 702 $aWhalen$b Michael$4oth 906 $aPROCEEDING 912 $a996580848503316 996 $aProceedings of the 21st Conference on Formal Methods in Computer-Aided Design ? FMCAD 2021$93018950 997 $aUNISA