Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
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,...
Tallennettuna:
| Aineistotyyppi: | Online |
|---|---|
| Kieli: | englanti |
| Julkaistu: |
TU Wien Academic Press
2025
|
| Aiheet: | |
| Linkit: | ONIX_20251107T141951_9783854480846_2 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|
| _version_ | 1869522599508180992 |
|---|---|
| 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-168828 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | TU Wien Academic Press |
| publisherStr | TU Wien Academic Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1688282025-11-08T05:08:30Z Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 Irfan, Ahmed Kaufmann, Daniela 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 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. 2025-11-08T05:08:29Z 2025-11-08T05:08:29Z 2025-11-07T13:22:11Z 2025 book ONIX_20251107T141951_9783854480846_2 2708-7824 https://library.oapen.org/handle/20.500.12657/108026 9783854480846 https://directory.doabooks.org/handle/20.500.12854/168828 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/108026/1/9783854480846.pdf TU Wien Academic Press 10.34727/2025/isbn.978-3-85448-084-6 10.34727/2025/isbn.978-3-85448-084-6 d5d39cb5-47fb-4fe7-a7da-f356ab83484d 9783854480846 270 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 Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 |
| title | Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 |
| title_full | Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 |
| title_fullStr | Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 |
| title_full_unstemmed | Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 |
| title_short | Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025 |
| title_sort | proceedings of the 25th conference on formal methods in computer aided design fmcad 2025 |
| 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 |
| 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 |
| url | ONIX_20251107T141951_9783854480846_2 |