Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were c...

Full description

Saved in:
Bibliographic Details
Main Authors: Shoham, Sharon, Vizel, Yakir
Format: eBook
Language:English
Published: Cham Springer Nature 2022
Springer International Publishing AG
Edition:1
Series:Lecture Notes in Computer Science
Subjects:
architecting
architecture verification and validation
Artificial intelligence
Computer networking and communications
computer programming
Computer programming / software engineering
Computer science
computer systems
Computing and Information Technology
distributed computer systems
embedded systems
engineering
formal languages
formal logic
linguistics
mathematics
model checking
software architecture
software design
Software Engineering
software quality
theoretical computer science
ISBN:3031131886, 9783031131882, 9783031131875, 3031131878
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
AbstractList This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
Author Vizel, Yakir
Shoham, Sharon
Author_xml – sequence: 1
  fullname: Shoham, Sharon
– sequence: 2
  fullname: Vizel, Yakir
BookMark eNpNkLtPwzAQxo14CFoqZtSlG1Pg7Ev8QGIoUXlIFV1QV8t2XGRo4-CkA_89KWXodPfTfd99pxuQkzrWnpBrCrcUQNwpITPMAGlGkUqZsSMywB7_iB8fwhm5WpRv9xOKOWVCIlXnZNS2nwDABFMqhwsyLuOm2XY-Taah8tVk6VNYBWe6EOtLcroy69aP_uuQLJ9m7-VLNl88v5bTeWYYZQozo7ijquovA4lSWOkwX6HiEpjNUSjlsBCSS-a4zKtcOWmt8FxYqIxBtDgkN_vFTYrfW9922tsYv5yvu2TWevZYChBAedErH_bKaBpf6yaFjUk_Opqg18Gmfb-bxPShGegCQFPGC6ELoZD2_vGhv4pmF9Rq1T9I4S-7jWJy
ContentType eBook
DBID V1H
A7I
DOI 10.1007/978-3-031-13188-2
DatabaseName DOAB: Directory of Open Access Books
OAPEN
DatabaseTitleList

Database_xml – sequence: 1
  dbid: V1H
  name: DOAB: Directory of Open Access Books
  url: https://directory.doabooks.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Engineering
Mathematics
Computer Science
EISBN 3031131886
9783031131882
Edition 1
Editor Vizel, Yakir
Shoham, Sharon
Editor_xml – sequence: 1
  fullname: Shoham, Sharon
– sequence: 2
  fullname: Vizel, Yakir
ExternalDocumentID EBC7070165
oai_library_oapen_org_20_500_12657_57931
91279
GroupedDBID 38.
A7I
AABBV
AAKKN
AALJR
AAQKC
AAZWU
ABEEZ
ABSVR
ABTHU
ABVND
ACHZO
ACPMC
ADNVS
AEDXK
AEJLV
AEKFX
AGWHU
AHVRR
AIQUZ
AIYYB
ALMA_UNASSIGNED_HOLDINGS
ALNDD
BBABE
CZZ
EIXGO
IEZ
SBO
TPJZQ
TSXQS
V1H
Z5O
Z7R
Z7S
Z7U
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z85
Z87
Z88
ID FETCH-LOGICAL-a21293-a96c19d97808387b8c34f396802b43799c3578682c684d49c8bb7e67b0daa33b3
IEDL.DBID A7I
ISBN 3031131886
9783031131882
9783031131875
3031131878
IngestDate Fri May 30 22:46:38 EDT 2025
Wed Dec 10 14:58:00 EST 2025
Tue Oct 07 20:18:22 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
LCCallNum_Ident QA76.758
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a21293-a96c19d97808387b8c34f396802b43799c3578682c684d49c8bb7e67b0daa33b3
OCLC OCN: 1341278319
1340956904
OpenAccessLink https://library.oapen.org/handle/20.500.12657/57931
PQID EBC7070165
PageCount 549
ParticipantIDs proquest_ebookcentral_EBC7070165
oapen_primary_oai_library_oapen_org_20_500_12657_57931
oapen_doabooks_91279
PublicationCentury 2000
PublicationDate 2022
PublicationDateYYYYMMDD 2022-01-01
PublicationDate_xml – year: 2022
  text: 2022
PublicationDecade 2020
PublicationPlace Cham
PublicationPlace_xml – name: Cham
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationYear 2022
Publisher Springer Nature
Springer International Publishing AG
Publisher_xml – name: Springer Nature
– name: Springer International Publishing AG
SSID ssj0002729940
Score 2.2717354
Snippet This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification,...
SourceID proquest
oapen
SourceType Publisher
SubjectTerms architecting
architecture verification and validation
Artificial intelligence
Computer networking and communications
computer programming
Computer programming / software engineering
Computer science
computer systems
Computing and Information Technology
distributed computer systems
embedded systems
engineering
formal languages
formal logic
linguistics
mathematics
model checking
software architecture
software design
Software Engineering
software quality
theoretical computer science
Subtitle 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
Title Computer Aided Verification
URI https://directory.doabooks.org/handle/20.500.12854/91279
https://library.oapen.org/handle/20.500.12657/57931
https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=7070165
Volume 13372
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwELZQywBLoQVRXsrA6ip2XD9GqFqVgYoBVd0svyJ1aVFT-P2cnTQgsXWJ5JyVWJ8uPt9d7juEnkzgkSedYsWYwIyXY2zAzGFjvRJw3gejIFOzCbFYyNVKvTd13NVv7GK0NeDNp0x-zTYATvponEcyBB5deNAqcHm6PDajjuch8doGVigcFxXLYx0HKCwBnZW8Ztppx_SQ3mwYZgsMEpxEmMbOR_Hl_zbnZHFmvaPWeoG6IRYvXKKTsOmj3qFlQ9Z8wX10_od_EEZvLWlrNUB37fTntQ8-W8KssgnpXaHlbPoxmeOmdwI2NJpwbBR3RPlIMCQLKax0BSsLxWVObeQgVC7y3HBJHZfMM-WktSJwYXNvTFHY4hp1NttNuEGZE8yVgXgniGPECRWYK6g3wUoipBdDNEgQaL810TWotCJUqCHi9e3PmjdDRybrBjNdSwAzTXMNYOkElk5gDVF2QF6nlHHzn6qevkwEbFGEj2-PffYdOqOxgCEFUe5RZ7_7Cg_o1H3v19XuMWkSXJdk_gP3J8JG
linkProvider Open Access Publishing in European Networks
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Computer+Aided+Verification&rft.au=Shoham%2C+Sharon&rft.au=Vizel%2C+Yakir&rft.date=2022-01-01&rft.pub=Springer+International+Publishing+AG&rft.isbn=9783031131875&rft.volume=13372&rft_id=info:doi/10.1007%2F978-3-031-13188-2&rft.externalDocID=EBC7070165
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031131882/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031131882/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9783031131882/sc.gif&client=summon&freeimage=true