000938932 000__ 02789cam\a2200517Ii\4500
000938932 001__ 938932
000938932 005__ 20230306152008.0
000938932 006__ m\\\\\o\\d\\\\\\\\
000938932 007__ cr\cn\nnnunnun
000938932 008__ 200807s2020\\\\sz\\\\\\o\\\\\101\0\eng\d
000938932 019__ $$a1182512340
000938932 020__ $$a9783030532918$$q(electronic book)
000938932 020__ $$a3030532917$$q(electronic book)
000938932 020__ $$z3030532909
000938932 020__ $$z9783030532901
000938932 0247_ $$a10.1007/978-3-030-53291-8$$2doi
000938932 035__ $$aSP(OCoLC)on1182515995
000938932 035__ $$aSP(OCoLC)1182515995$$z(OCoLC)1182512340
000938932 040__ $$aYDX$$beng$$erda$$cYDX$$dYDXIT$$dGW5XE
000938932 049__ $$aISEA
000938932 050_4 $$aQA76.76.V47$$bC382 2020
000938932 08204 $$a004.24$$223
000938932 1112_ $$aCAV (Conference)$$n(32nd :$$d2020 :$$cLos Angeles, Calif.)
000938932 24510 $$aComputer aided verification :$$b32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020 : proceedings.$$nPart II /$$cShuvendu K. Lahiri, Chao Wang (eds.).
000938932 2463_ $$aCAV 2020
000938932 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2020]
000938932 300__ $$a1 online resource.
000938932 336__ $$atext$$btxt$$2rdacontent
000938932 337__ $$acomputer$$bc$$2rdamedia
000938932 338__ $$aonline resource$$bcr$$2rdacarrier
000938932 4901_ $$aLecture notes in computer science ;$$v12225
000938932 4901_ $$aLNCS sublibrary. SL 1, Theoretical computer science and general issues
000938932 500__ $$aIncludes author index.
000938932 506__ $$aAccess limited to authorized users.
000938932 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.
000938932 588__ $$aDescription based on online resource; title from digital title page (viewed on August 13, 2020).
000938932 650_0 $$aComputer software$$xVerification$$vCongresses.
000938932 7001_ $$aLahiri, Shuvendu,$$eeditor.
000938932 7001_ $$aWang, Chao,$$d1985-$$eeditor.
000938932 77608 $$iPrint version: $$z3030532909$$z9783030532901$$w(OCoLC)1158477263
000938932 830_0 $$aLecture notes in computer science ;$$v12225.
000938932 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues.
000938932 852__ $$bebk
000938932 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-53291-8$$zOnline Access$$91397441.1
000938932 909CO $$ooai:library.usi.edu:938932$$pGLOBAL_SET
000938932 980__ $$aEBOOK
000938932 980__ $$aBIB
000938932 982__ $$aEbook
000938932 983__ $$aOnline
000938932 994__ $$a92$$bISE