000 03125nam a22006375i 4500
001 978-3-030-53291-8
003 DE-He213
005 20240507155720.0
007 cr nn 008mamaa
008 200715s2020 sz | s |||| 0|eng d
020 _a9783030532918
_9978-3-030-53291-8
024 7 _a10.1007/978-3-030-53291-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 II /
_cedited by Shuvendu K. Lahiri, Chao Wang.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXVIII, 683 p. 719 illus., 94 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,
_x2512-2029 ;
_v12225
505 0 _aModel Checking -- Software Verification -- Stochastic Systems -- Synthesis.
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.
650 0 _aComputer science.
650 0 _aArtificial intelligence.
650 0 _aComputer engineering.
650 0 _aComputer networks .
650 0 _aComputers.
650 1 4 _aSoftware Engineering.
650 2 4 _aTheory of Computation.
650 2 4 _aArtificial Intelligence.
650 2 4 _aComputer Engineering and Networks.
650 2 4 _aComputer Hardware.
650 2 4 _aComputer Science.
700 1 _aLahiri, Shuvendu K.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aWang, Chao.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030532901
776 0 8 _iPrinted edition:
_z9783030532925
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v12225
856 4 0 _uhttps://doi.org/10.1007/978-3-030-53291-8
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
999 _c37494
_d37494