Show simple item record

dc.creatorShuvendu K., Lahiri,
dc.creatorChao, Wang
dc.date.accessioned2021-01-19T21:15:22Z
dc.date.available2021-01-19T21:15:22Z
dc.date.created2020
dc.identifier.isbn978-3-030-53291-8
dc.identifier.otherhttps://link.springer.com/book/10.1007/3-540-60045-0
dc.identifier.urihttp://hdl.handle.net/20.500.12010/16761
dc.format.extent697 páginasspa
dc.format.mimetypeapplication/pdfspa
dc.language.isoengspa
dc.publisherSpringer Naturespa
dc.subjectIngeniería de softwarespa
dc.titleComputer Aided Verificationspa
dc.subject.lembOrganización de Sistemas -- Computación -- Redes de Comunicaciónspa
dc.subject.lembIngeniería de Computación y Redesspa
dc.subject.lembSistemas informáticos distribuidosspa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.localAbierto (Texto Completo)spa
dc.identifier.doi10.1007/978-3-030-53291-8
dc.description.abstractenglishhe 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.spa
dc.type.coarhttp://purl.org/coar/resource_type/c_2f33spa
dc.rights.creativecommonshttps://creativecommons.org/licenses/by/4.0/legalcode


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record