Computer Aided Verification
This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed an...
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer Nature Switzerland
2025
|
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=4278506&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 4278506 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Computer Aided Verification aug: au: Ruzica Piskac Zvonimir Rakamarić isbn: 9783031986819 9783031986826 imageinfo: pubinfo: dt: @attributes: year: 2025 month: 01 day: 01 pub: Springer Nature Switzerland pubContract: Springer Nature place: [N.p.] price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 artinfo: ui: 4278506 1534791615 formats: fmt: – @attributes: type: EB doid: NL$4278506$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$4278506$EPUB caption: EPUB download: Y tig: atl: Computer Aided Verification ptl: Computer Aided Verification aug: au: Ruzica Piskac Zvonimir Rakamarić sug: subj: COMPUTERS / Artificial Intelligence / General ab: This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025. The 51 regular papers are presented, together with 24 tool papers and 4 case-study papers, were carefully reviewed and selected from 305 submissions. The accepted papers cover a wide spectrum of topics, from theoretical results to applications of formal methods. These papers apply or extend formal methods to a wide range of domains such as concurrency, machine learning and neural networks, quantum systems, as well as hybrid and stochastic systems. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|