LEADER 03508nam  22007695  450 
001 996418299403316
005 20230329233053.0
010   $a3-030-53288-7
024 7 $a10.1007/978-3-030-53288-8
035   $a(CKB)4100000011343305
035   $a(DE-He213)978-3-030-53288-8
035   $a(MiAaPQ)EBC6420134
035   $a(Au-PeEL)EBL6420134
035   $a(OCoLC)1179001834
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/26292
035   $a(PPN)257358013
035   $a(EXLCZ)994100000011343305
100   $a20200715d2020      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Aided Verification$b[electronic resource] $e32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I /$fedited by Shuvendu K. Lahiri, Chao Wang
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XVII, 669 p. 616 illus., 117 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12224
311   $a3-030-53287-9 
327   $aAI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems.
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 ;$v12224
606   $aSoftware engineering
606   $aComputer science
606   $aComputer engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputers
606   $aSoftware Engineering
606   $aTheory of Computation
606   $aComputer Engineering and Networks
606   $aArtificial Intelligence
606   $aComputer Communication Networks
606   $aComputer Hardware
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputers.
615 14$aSoftware Engineering.
615 24$aTheory of Computation.
615 24$aComputer Engineering and Networks.
615 24$aArtificial Intelligence.
615 24$aComputer Communication Networks.
615 24$aComputer Hardware.
676   $a005.1
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   $a996418299403316
996   $aComputer Aided Verification$93091311
997   $aUNISA