LEADER 02494nam  2200529z- 450 
001 9910485583803321
005 20231214132941.0
010   $a3-85448-042-3
035   $a(CKB)4920000000630851
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/70818
035   $a(EXLCZ)994920000000630851
100   $a20202106d2020      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProceedings of the 20th Conference on Formal Methods in Computer-Aided Design ? FMCAD 2020
210   $aVienna$cTU Wien Academic Press$d2020
215   $a1 electronic resource (284 p.)
225 1 $aConference Series: Formal Methods in Computer-Aided Design
311   $a1-7281-5633-5 
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   $a2020 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
610   $aComputer-Aided System Design
610   $aHardware and System Verification
610   $aFormal Verification, Specification, Synthesis, and Testing
610   $aAutomated 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   $aIvrii$b Alexander$4edt$01280076
702   $aStrichman$b Ofer$4edt
702   $aIvrii$b Alexander$4oth
702   $aStrichman$b Ofer$4oth
906   $aPROCEEDING
912   $a9910485583803321
996   $aProceedings of the 20th Conference on Formal Methods in Computer-Aided Design ? FMCAD 2020$93016530
997   $aUNINA