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...
Saved in:
| Format: | Online |
|---|---|
| Language: | English |
| Published: |
Springer Nature
2024
|
| Subjects: | |
| Online Access: | ONIX_20240813_9783031656309_37 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1869518303117967360 |
|---|---|
| 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-143262 |
| 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-1432622024-08-27T04:24:55Z 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:24:53Z 2024-08-27T04:24:53Z 2024-08-13T07:38:21Z 2024 book ONIX_20240813_9783031656309_37 https://library.oapen.org/handle/20.500.12657/92709 9783031656309 9783031656293 https://directory.doabooks.org/handle/20.500.12854/143262 eng Lecture Notes in Computer Science open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/92709/1/978-3-031-65630-9.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-65630-9 10.1007/978-3-031-65630-9 9fa3421d-f917-4153-b9ab-fc337c396b5a 21308df8-86e3-4044-b27e-bb29c207133d 9783031656309 9783031656293 Springer Nature Switzerland 430 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_9783031656309_37 |