Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning...
I tiakina i:
| Hōputu: | Online |
|---|---|
| Reo: | Ingarihi |
| I whakaputaina: |
TU Wien Academic Press
2023
|
| Ngā marau: | |
| Urunga tuihono: | OCN: 1410103635 |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
| _version_ | 1869513790311104512 |
|---|---|
| collection | Directory of Open Access Books |
| description | The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing. |
| format | Online |
| id | doab-20.500.12854ir-122375 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2023 |
| publishDateRange | 2023 |
| publishDateSort | 2023 |
| publisher | TU Wien Academic Press |
| publisherStr | TU Wien Academic Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1223752025-03-24T04:56:27Z Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 Nadel, Alexander Rozier, Kristin Yvonne Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing. 2023-11-17T10:18:19Z 2023-11-17T10:18:19Z 2023-11-16T10:47:30Z 2023 book OCN: 1410103635 https://library.oapen.org/handle/20.500.12657/85158 https://directory.doabooks.org/handle/20.500.12854/122375 eng Conference Series: Formal Methods in Computer-Aided Design open access image/jpeg image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/85158/1/Nadel-2023-Proceedings%20of%20the%2023rd%20Conference%20on%20Formal%20Methods%20in%20Comput...-vor.pdf https://library.oapen.org/bitstream/20.500.12657/85158/1/Nadel-2023-Proceedings%20of%20the%2023rd%20Conference%20on%20Formal%20Methods%20in%20Comput...-vor.pdf https://library.oapen.org/bitstream/20.500.12657/85158/1/Nadel-2023-Proceedings%20of%20the%2023rd%20Conference%20on%20Formal%20Methods%20in%20Comput...-vor.pdf TU Wien Academic Press 10.34727/2023/isbn.978-3-85448-060-0 10.34727/2023/isbn.978-3-85448-060-0 d5d39cb5-47fb-4fe7-a7da-f356ab83484d 332 open access |
| spellingShingle | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 |
| title | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 |
| title_full | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 |
| title_fullStr | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 |
| title_full_unstemmed | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 |
| title_short | Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 |
| title_sort | proceedings of the 23rd conference on formal methods in computer aided design fmcad 2023 |
| topic | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| topic_facet | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning |
| url | OCN: 1410103635 |