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...
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham
Springer Nature
2022
Springer International Publishing AG |
| Vydání: | 1 |
| Edice: | Lecture Notes in Computer Science |
| Témata: | |
| ISBN: | 3031131886, 9783031131882, 9783031131875, 3031131878 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| 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 | V1H |
| 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://directory.doabooks.org/handle/20.500.12854/91279 |
| 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/eLvHCXMwnV07T8MwED6VlgGWQguiFKoMrIbEcfwYoWpVBioGVHWz7MSWuqRVW_j92M5DSDAxOraU5MvlfA_fdwAPwifnlKEo00QjklKCFLYG2YLhuGBaKWJDswm2XPL1Wrx3gDe1MJUi3_pTzVvl7cxDSOdXlAPOU3_MYs-IwDPyJBLMxAn0nIdDvdu1ShZtdAU7m1GQ2BdzOKlNnOByWtHttGPc5DhrmtkUuRkUphD27Y_UzpS_NHTYdub9_z_wBfSML2O4hI4pB9BvmjdE9b88gPMfTIRu9NbStx6GMG6XP28KU0Qrt8rWwb0rWM1nH9MFqrsoOND9Zo6UoHkiCk81xFPONM9TYlNBeYy1ZyMUuWe8oRznlJOCiJxrzQxlOi6USlOdXkO33JbmBiKRG0ZIhnnu_Uoba-O-pTbUqT1hMytGMAywyQYLGd55BLS6vKsYNKTntK6jVLKacZhJHEsHlkwwzZjMnOJIRhA18MuQPK5PrMrZy5Q5ZZXQ7PbvW47hDPtChRAsuYPucf9p7uE0_zpuDvuJs6DZ6ySIzDcQc7tq |
| 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.series=Lecture+Notes+in+Computer+Science&rft.date=2022-01-01&rft.pub=Springer+Nature&rft.isbn=9783031131882&rft_id=info:doi/10.1007%2F978-3-031-13188-2&rft.externalDBID=V1H&rft.externalDocID=91279 |
| 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 |