Publication:
Computer Aided Verification

Simple item page
dc.contributor.author Shuvendu K. Lahiri, Chao Wan (editors)
dc.date.accessioned 2023-06-14T03:23:35Z
dc.date.available 2023-06-14T03:23:35Z
dc.date.issued 2020
dc.description DOI: https://doi.org/10.1007/978-3-030-53288-8; License: CC BY; Publisher: Springer
dc.description.abstract The 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.
dc.identifier.doi https://doi.org/10.1007/978-3-030-53288-8
dc.identifier.isbn 9783030532888
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5173
dc.language.iso en
dc.subject Architecture verification and validation
dc.subject artificial intelligence
dc.subject computer hardware
dc.subject computer networks
dc.subject computer programming
dc.subject computer systems
dc.subject data security
dc.subject distributed computer systems
dc.subject embedded systems
dc.subject formal logic
dc.subject linguistics
dc.subject model checking
dc.subject network protocols
dc.subject parallel processing systems
dc.subject signal processing
dc.subject software architecture
dc.subject software design
dc.subject software quality
dc.subject verification and validation
dc.subject Open Access
dc.title Computer Aided Verification
dc.type Resource Types::text::book
dspace.entity.type Publication
oairecerif.author.affiliation #PLACEHOLDER_PARENT_METADATA_VALUE#
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OAB198.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2020