Computer Aided Verification
This open access book 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 su...
Na minha lista:
| Formato: | Online |
|---|---|
| Idioma: | inglês |
| Publicado em: |
Springer Nature
2024
|
| Assuntos: | |
| Acesso em linha: | ONIX_20240813_9783031656330_38 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
| _version_ | 1869513757731848192 |
|---|---|
| collection | Directory of Open Access Books |
| description | This open access book 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-143265 |
| 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-1432652024-08-27T04:25:03Z 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 book 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:25:02Z 2024-08-27T04:25:02Z 2024-08-13T07:38:23Z 2024 book ONIX_20240813_9783031656330_38 https://library.oapen.org/handle/20.500.12657/92710 9783031656330 9783031656323 https://directory.doabooks.org/handle/20.500.12854/143265 eng Lecture Notes in Computer Science open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/92710/1/978-3-031-65633-0.pdf Springer Nature Springer Nature Switzerland 10.1007/978-3-031-65633-0 10.1007/978-3-031-65633-0 9fa3421d-f917-4153-b9ab-fc337c396b5a 21308df8-86e3-4044-b27e-bb29c207133d 9783031656330 9783031656323 Springer Nature Switzerland 582 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_9783031656330_38 |