Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Materialtyp:
ArtikelSerie: Utgivningsinformation: Vienna TU Wien Academic Press TU Wien Academic Press [Imprint] 2020Beskrivning: 1 electronic resource (284 p.)Innehållstyp: - text
- computer
- online resource
- 9783854480426
- Computing and Information Technology
- Computer programming / software engineering
- Software Engineering
- Software testing and verification
- Computer science
- Mathematical theory of computation
- Systems analysis and design
- Computer architecture and logic design
- Artificial intelligence
- Automated and Formal Reasoning
- Computer-Aided System Design
- Formal Methods
- Formal Verification
- Hardware and System Verification
- Specification
- Synthesis
- U Computing and Information Technology
- UM Computer programming
- UMZ Software Engineering
- UMZT Software testing and verification
- UY Computer science
- UYA Mathematical theory of computation
- UYD Systems analysis and design
- UYF Computer architecture and logic design
- UYQ Artificial intelligence
- and Testing
- software engineering
- thema EDItEUR
Open Access Unrestricted online access star
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.
Accessibility options of PDF file not available
Creative Commons Licence cc by cc http://creativecommons.org/licenses/by/4.0/
eng
Freely available e-book