LEADER 03431nam  22007815  450 
001 9910413446303321
005 20230221230511.0
010   $a3-030-53291-7
024 7 $a10.1007/978-3-030-53291-8
035   $a(CKB)4100000011343306
035   $a(DE-He213)978-3-030-53291-8
035   $a(MiAaPQ)EBC6420156
035   $a(Au-PeEL)EBL6420156
035   $a(OCoLC)1179001834
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/35502
035   $a(PPN)254711243
035   $a(EXLCZ)994100000011343306
100   $a20200715d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Aided Verification $e32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part II /$fedited by Shuvendu K. Lahiri, Chao Wang
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XVIII, 683 p. 719 illus., 94 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12225
311   $a3-030-53290-9 
327   $aModel Checking -- Software Verification -- Stochastic Systems -- Synthesis.
330   $aThe open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12225
606   $aSoftware engineering
606   $aComputer science
606   $aArtificial intelligence
606   $aComputer engineering
606   $aComputer networks
606   $aComputers
606   $aSoftware Engineering
606   $aTheory of Computation
606   $aArtificial Intelligence
606   $aComputer Engineering and Networks
606   $aComputer Hardware
606   $aComputer Science
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aArtificial Intelligence.
615 24$aComputer Engineering and Networks.
615 24$aComputer Hardware.
615 24$aComputer Science.
676   $a005.1
676   $a004.24
700   $aLahiri$b Shuvendu K$4edt$01351252
702   $aLahiri$b Shuvendu K$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aWang$b Chao$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910413446303321
996   $aComputer Aided Verification$93091311
997   $aUNINA