| spelling |
oapen-20.500.12657-495872021-06-16T12:10:53Z 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 bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering::UMZT Software testing & verification bic Book Industry Communication::U Computing & information technology::UY Computer science::UYF Computer architecture & logic design bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation bic Book Industry Communication::U Computing & 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-16T10:24:55Z 2021-06-16T10:24:55Z 2020 book ONIX_20210616_9783854480426_23 2708-7824 9783854480426 https://library.oapen.org/handle/20.500.12657/49587 eng Conference Series: Formal Methods in Computer-Aided Design application/pdf n/a 9783854480426.pdf https://www.tuwien.at/academicpress/produkt/proceedings-of-the-20th-conference-on-formal-methods-in-computer-aided-design-fmcad-2020-ebook/ 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 957c0323-9030-48c6-8bd4-a008cf795a7a 9783854480426 TU Wien Academic Press 1 284 Vienna open access
|
| 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.
|
