Computer Aided Verification
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new d...
Kaydedildi:
| Materyal Türü: | Online |
|---|---|
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Springer Nature
2024
|
| Konular: | |
| Online Erişim: | ONIX_20240813_9783031656279_36 |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| _version_ | 1869531530831855616 |
|---|---|
| collection | Directory of Open Access Books |
| description | This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. |
| format | Online |
| id | doab-20.500.12854ir-143280 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1432802024-08-27T04:26:50Z Computer Aided Verification Gurfinkel, Arie Ganesh, Vijay Computer Science Informatics Conference Proceedings Research Applications thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning. 2024-08-27T04:26:49Z 2024-08-27T04:26:49Z 2024-08-13T07:38:19Z 2024 book ONIX_20240813_9783031656279_36 https://library.oapen.org/handle/20.500.12657/92707 9783031656279 9783031656262 https://directory.doabooks.org/handle/20.500.12854/143280 eng Lecture Notes in Computer Science open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/92707/1/978-3-031-65627-9.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-65627-9 10.1007/978-3-031-65627-9 9fa3421d-f917-4153-b9ab-fc337c396b5a 55197ed3-f9b4-4392-82a5-7f080f2ae1a1 9783031656279 9783031656262 Springer Nature Switzerland 498 Cham [...] open access |
| spellingShingle | Computer Science Informatics Conference Proceedings Research Applications thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation Computer Aided Verification |
| title | Computer Aided Verification |
| title_full | Computer Aided Verification |
| title_fullStr | Computer Aided Verification |
| title_full_unstemmed | Computer Aided Verification |
| title_short | Computer Aided Verification |
| title_sort | computer aided verification |
| topic | Computer Science Informatics Conference Proceedings Research Applications thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation |
| topic_facet | Computer Science Informatics Conference Proceedings Research Applications thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation |
| url | ONIX_20240813_9783031656279_36 |