LEADER 02231nam  2200409   450 
001 996580844503316
005 20230327171504.0
035   $a(CKB)5840000000098314
035   $a(NjHacI)995840000000098314
035   $a(EXLCZ)995840000000098314
100   $a20230327d2022      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aProceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022 /$fAlberto Griggio, Neha Rungta, editors
210  1$aVienna :$cTU Wien Academic Press,$d2022.
215   $a1 online resource  (305 pages)
311   $a1-66548-040-8 
311   $a3-85448-053-9 
327   $aInvited Talks -- Tutorials -- Student Forum -- Verification in Machine Learning -- Proofs -- Hardware and RTL -- Hardware and RTL -- Parameterized Systems and Quantified Reasoning -- Distributed Systems -- Synthesis -- Reachability and Safety Verification.
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   $a2022 Formal Methods in Computer-Aided Design 
606   $aDigital integrated circuits$xDesign and construction$xMathematics$vCongresses
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
615  0$aDigital integrated circuits$xDesign and construction$xMathematics
615  0$aDigital integrated circuits$xComputer-aided design
676   $a621.39/2
702   $aGriggio$b Alberto
702   $aRungta$b Neha
801  0$bNjHacI
801  1$bNjHacl
906   $aBOOK
912   $a996580844503316
996   $aProceedings of the 22nd Conference on Formal Methods in Computer-Aided Design ? FMCAD 2022$92958164
997   $aUNISA