Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
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 verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods,...
Uloženo v:
| Médium: | Online |
|---|---|
| Jazyk: | angličtina |
| Vydáno: |
TU Wien Academic Press
2022
|
| Témata: | |
| On-line přístup: | OCN: 1235118755 |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| _version_ | 1869530438496681984 |
|---|---|
| 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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing. |
| format | Online |
| id | doab-20.500.12854ir-92946 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2022 |
| publishDateRange | 2022 |
| publishDateSort | 2022 |
| publisher | TU Wien Academic Press |
| publisherStr | TU Wien Academic Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-929462025-08-13T13:42:56Z Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 Griggio, Alberto Rungta, Neha Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design 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 verification. FMCAD provides a leading forum to researchers 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 design including verification, specification, synthesis, and testing. 2022-10-19T04:02:28Z 2022-10-19T04:02:28Z 2022-10-18T09:48:09Z 2022 book OCN: 1235118755 https://library.oapen.org/handle/20.500.12657/58896 https://directory.doabooks.org/handle/20.500.12854/92946 eng Conference Series: Formal Methods in Computer-Aided Design open access image/jpeg Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/58896/1/E-Book_Proceedings%20of%20the%2022nd%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202022.pdf TU Wien Academic Press 10.34727/2022/isbn.978-3-85448-053-2 10.34727/2022/isbn.978-3-85448-053-2 d5d39cb5-47fb-4fe7-a7da-f356ab83484d 305 Vienna open access |
| spellingShingle | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 |
| title | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 |
| title_full | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 |
| title_fullStr | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 |
| title_full_unstemmed | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 |
| title_short | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 |
| title_sort | proceedings of the 22nd conference on formal methods in computer aided design fmcad 2022 |
| topic | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design |
| topic_facet | Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design |
| url | OCN: 1235118755 |