LEADER 03167nam  22007213  450 
001 9910586580203321
005 20231110231458.0
010   $a3-031-13185-1
035   $a(CKB)5850000000052585
035   $a(MiAaPQ)EBC7070218
035   $a(Au-PeEL)EBL7070218
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/91308
035   $a(PPN)264191196
035   $a(EXLCZ)995850000000052585
100   $a20220919d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer aided verification $e34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings$hPart I. /$feditors, Sharon Shoham, Yakir Vizel
210   $aCham$cSpringer Nature$d2022
210  1$aCham :$cSpringer International Publishing AG,$d2022.
210  4$dİ2022.
215   $a1 online resource (563 pages) $cillustrations (black and white)
225 1 $aLecture Notes in Computer Science ;$vv.13371
311 1 $a3-031-13184-3 
320   $aIncludes author index.
330   $aThis open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
410  0$aLecture notes in computer science$v13371.
606   $aComputer software$xVerification$vCongresses
610   $aarchitecting
610   $aarchitecture verification and validation
610   $aartificial intelligence
610   $acomputer programming
610   $acomputer science
610   $acomputer systems
610   $adistributed computer systems
610   $adistributed systems
610   $aembedded systems
610   $aformal logic
610   $amathematics
610   $amodel checking
610   $aprogramming languages
610   $asoftware architecture
610   $asoftware design
610   $asoftware engineering
610   $asoftware quality
610   $atheoretical computer science
610   $averification
610   $averification and validation
615  0$aComputer software$xVerification
676   $a005.14
700   $aShoham$b Sharon$4edt$01354848
702   $aShoham$b Sharon
702   $aVizel$b Yakir
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910586580203321
996   $aComputer aided verification$93358587
997   $aUNINA