<div class="csl-bib-body">
<div class="csl-entry">Stewart, D., & Weissenbacher, G. (Eds.). (2017). <i>Proceedings of Formal Methods in Computer Aided Design, FMCAD 2017</i>. FMCAD Inc. https://doi.org/10.15781/T2JS9HQ7C</div>
</div>
-
dc.identifier.isbn
978-0-9835678-7-5
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/24348
-
dc.description.abstract
The International Conference on Formal Methods in Computer Aided Design (FMCAD), held at TU Wien in Vienna, Austria, from October 2-6 in 2017, is the seventeenth in a series of meetings on the theory and applications of rigorous formal techniques for the automated design of systems. The FMCAD conference covers formal aspects of specification, verification, synthesis, testing, and security, and is a leading forum for researchers and practitioners in academia and industry alike.
en
dc.publisher
FMCAD Inc.
-
dc.subject
formal methods
-
dc.subject
hardware verification
-
dc.subject
software verification
-
dc.title
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2017
en
dc.type
Konferenzband
de
dc.type
Proceedings
en
dc.type.category
Full Paper Book
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering