Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
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...
Wedi'i Gadw mewn:
| Fformat: | Online |
|---|---|
| Iaith: | Saesneg |
| Cyhoeddwyd: |
TU Wien Academic Press
2024
|
| Pynciau: | |
| Mynediad Ar-lein: | https://library.oapen.org/handle/20.500.12657/93967 |
| Tagiau: |
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| _version_ | 1869525469071671296 |
|---|---|
| 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-146882 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2024 |
| publishDateRange | 2024 |
| publishDateSort | 2024 |
| publisher | TU Wien Academic Press |
| publisherStr | TU Wien Academic Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1468822025-07-21T15:44:58Z Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 Narodytska, Nina Rümmer, Philipp 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::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence 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. 2024-10-26T04:18:33Z 2024-10-26T04:18:33Z 2024-10-25T09:36:05Z 2024 book https://library.oapen.org/handle/20.500.12657/93967 https://directory.doabooks.org/handle/20.500.12854/146882 eng Conference Series: Formal Methods in Computer-Aided Design open access image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/93967/1/Proceedings%20of%20the%2024th%20Conference%20on%20Formal%20Methods%20in%20Computer-%20Aided%20Design%20%e2%80%93%20FMCAD%202024.pdf https://library.oapen.org/bitstream/20.500.12657/93967/8/Proceedings%20of%20the%2024th%20Conference%20on%20Formal%20Methods%20in%20Computer-%20Aided%20Design%20-%20FMCAD%202024_II.pdf TU Wien Academic Press 10.34727/2024/isbn.978-3-85448-065-5 10.34727/2024/isbn.978-3-85448-065-5 d5d39cb5-47fb-4fe7-a7da-f356ab83484d 316 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::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| title | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| title_full | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| title_fullStr | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| title_full_unstemmed | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| title_short | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| title_sort | proceedings of the 24th conference on formal methods in computer aided design fmcad 2024 |
| 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::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence |
| 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::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering::UMZT Software testing and verification thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence |
| url | https://library.oapen.org/handle/20.500.12657/93967 |