000 03787nam a22006375i 4500
001 978-3-030-53288-8
003 DE-He213
005 20210511120136.0
007 cr nn 008mamaa
008 200715s2020 gw | s |||| 0|eng d
020 _a9783030532888
_9978-3-030-53288-8
024 7 _a10.1007/978-3-030-53288-8
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aComputer Aided Verification
_h[electronic resource] :
_b32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I /
_cedited by Shuvendu K. Lahiri, Chao Wang.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXVII, 669 p. 616 illus., 117 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues ;
_v12224
505 0 _aAI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems.
506 0 _aOpen Access
520 _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.
650 0 _aSoftware engineering.
_93786
650 0 _aComputers.
_9718
650 0 _aComputer organization.
_92988
650 0 _aArtificial intelligence.
_93787
650 0 _aComputer hardware.
_93788
650 1 4 _aSoftware Engineering.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I14029
_93789
650 2 4 _aTheory of Computation.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I16005
_9892
650 2 4 _aComputer Systems Organization and Communication Networks.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I13006
_92993
650 2 4 _aArtificial Intelligence.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I21000
_93790
650 2 4 _aInformation Systems and Communication Service.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I18008
_91176
650 2 4 _aComputer Hardware.
_0https://scigraph.springernature.com/ontologies/product-market-codes/I1200X
_93791
700 1 _aLahiri, Shuvendu K.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_93792
700 1 _aWang, Chao.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_93793
710 2 _aSpringerLink (Online service)
_9141
776 0 8 _iPrinted edition:
_z9783030532871
776 0 8 _iPrinted edition:
_z9783030532895
830 0 _aTheoretical Computer Science and General Issues ;
_v12224
_92536
856 4 0 _uhttps://doi.org/10.1007/978-3-030-53288-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
942 _cEBK
_w1
_xAdministrator Library
_y1
_z Administrator Library
999 _c801
_d801
773 _tSpringer Nature Open Access eBook