Publication:
Computer Aided Verification

Simple item page
dc.contributor.author Hana Chockler, Georg Weissenbacher (editors)
dc.date.accessioned 2023-06-15T02:05:11Z
dc.date.available 2023-06-15T02:05:11Z
dc.date.issued 2018
dc.description DOI: https://doi.org/10.1007/978-3-319-96142-2; License: CC BY; Publisher: Springer
dc.description.abstract This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
dc.identifier.doi https://doi.org/10.1007/978-3-319-96142-2
dc.identifier.isbn 9783319961422
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5317
dc.language.iso en
dc.subject Artificial intelligence
dc.subject data security
dc.subject decision theory
dc.subject evolutionary algorithms
dc.subject formal logic
dc.subject formal methods
dc.subject formal verifications
dc.subject genetic algorithms
dc.subject learning algorithms
dc.subject model checker
dc.subject model checking
dc.subject program compilers
dc.subject programming languages
dc.subject satisfiability
dc.subject semantics
dc.subject software engineering
dc.subject software evaluation
dc.subject specifications
dc.subject static analysis
dc.subject verification
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:
OAB268.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2018