PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020
Download or Read eBook PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020 PDF written by Alexander Ivrii and published by TU Wien Academic Press. This book was released on 2020-09-11 with total page 284 pages. Available in PDF, EPUB and Kindle.
| Author | : Alexander Ivrii |
| Publisher | : TU Wien Academic Press |
| Total Pages | : 284 |
| Release | : 2020-09-11 |
| ISBN-10 | : 9783854480426 |
| ISBN-13 | : 3854480423 |
| Rating | : 4/5 (26 Downloads) |
Book Synopsis PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2020 by : Alexander Ivrii
Book excerpt: Formal Methods in Computer-Aided Design (FMCAD) is a conference series 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 ground-breaking 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.
