Show simple item record

dc.contributor.editorEnea, Constantin
dc.contributor.editorLal, Akash
dc.date.accessioned2023-08-14T15:56:16Z
dc.date.available2023-08-14T15:56:16Z
dc.date.issued2023
dc.identifierONIX_20230814_9783031377037_31
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/75410
dc.description.abstractThe open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.subject.otherarchitecture verification and validation
dc.subject.otherartificial intelligence
dc.subject.othercomputer programming
dc.subject.otherdistributed computer systems
dc.subject.otherformal logic
dc.subject.otherembedded systems
dc.subject.othermodel checking
dc.subject.otherprogramming languages
dc.subject.othersoftware architecture
dc.subject.othersoftware design
dc.subject.othersoftware quality
dc.subject.otherlogic and verification
dc.titleComputer Aided Verification
dc.title.alternative35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
dc.typebook
oapen.identifier.doi10.1007/978-3-031-37703-7
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy52ed63cc-4225-4cde-9254-bc3696cb71fc
oapen.relation.isbn9783031377037
oapen.relation.isbn9783031377020
oapen.imprintSpringer Nature Switzerland
oapen.series.number13965
oapen.pages460
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record