Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
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,...
Bewaard in:
| Formaat: | Online |
|---|---|
| Taal: | Engels |
| Gepubliceerd in: |
TU Wien Academic Press
2021
|
| Onderwerpen: | |
| Online toegang: | ONIX_20210616_9783854480426_23 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
| _version_ | 1869518676116373504 |
|---|---|
| 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-70818 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | TU Wien Academic Press |
| publisherStr | TU Wien Academic Press |
| record_format | ojs |
| spelling | doab-20.500.12854ir-708182025-08-13T14:12:09Z Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 Ivrii, Alexander Strichman, Ofer 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 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. 2021-06-17T02:00:32Z 2021-06-17T02:00:32Z 2021-06-16T10:24:55Z 2020 book ONIX_20210616_9783854480426_23 OCN: 1235118755 2708-7824 https://library.oapen.org/handle/20.500.12657/49587 9783854480426 https://directory.doabooks.org/handle/20.500.12854/70818 eng Conference Series: Formal Methods in Computer-Aided Design open access image/jpeg image/jpeg image/jpeg n/a n/a n/a https://library.oapen.org/bitstream/20.500.12657/49587/1/9783854480426.pdf https://library.oapen.org/bitstream/20.500.12657/49587/1/9783854480426.pdf https://library.oapen.org/bitstream/20.500.12657/49587/1/9783854480426.pdf TU Wien Academic Press TU Wien Academic Press 10.34727/2020/isbn.978-3-85448-042-6 10.34727/2020/isbn.978-3-85448-042-6 d5d39cb5-47fb-4fe7-a7da-f356ab83484d 9783854480426 TU Wien Academic Press 284 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 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| title | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| title_full | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| title_fullStr | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| title_full_unstemmed | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| title_short | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 |
| title_sort | proceedings of the 20th conference on formal methods in computer aided design fmcad 2020 |
| 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 | ONIX_20210616_9783854480426_23 |