Books and Book Editorships:
D. Stewart, G. Weissenbacher (ed.):
"FMCAD'17: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design";
FMCAD Inc.,
Austin, TX,
2017,
ISBN: 978-0-9835678-7-5;
241 pages.
English 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.
Keywords:
formal methods, hardware verification, software verification
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.15781/T2JS9HQ7C
Electronic version of the publication:
http://publik.tuwien.ac.at/files/publik_263534.pdf
Created from the Publication Database of the Vienna University of Technology.