Publication:
Computer Aided Verification

Simple item page
dc.contributor.author Isil Dillig, Serdar Tasiran (editors)
dc.date.accessioned 2023-06-14T04:22:01Z
dc.date.available 2023-06-14T04:22:01Z
dc.date.issued 2019
dc.description DOI: https://doi.org/10.1007/978-3-030-25540-4; License: CC BY; Publisher: Springer
dc.description.abstract This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
dc.identifier.doi https://doi.org/10.1007/978-3-030-25540-4
dc.identifier.isbn 9783030255404
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5217
dc.language.iso en
dc.subject Artificial intelligence
dc.subject authentication
dc.subject data security
dc.subject formal logic
dc.subject formal methods
dc.subject model checker
dc.subject model checking
dc.subject reactive system
dc.subject robots
dc.subject software engineering
dc.subject software evaluation
dc.subject specifications
dc.subject temporal logic
dc.subject timed automata
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:
OAB228.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2019