FMCAD 201 7 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and indu stry for presenting and discussing groundbreaking methods, technologies, theoretical results, and to ols for reasoning formally about computing systems . FMCAD covers formal aspects of computer-aided sy stem design including verification, specification, synthesis, and testing.
\nFM CAD welcomes submission of papers reporting origin al research on advances in all aspects of formal m ethods and their applications to computer- aided d esign. Two categories of papers are invited: Regul ar papers, and Tool & Case Study papers. Regul ar papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improv ements to existing methods, along with experimenta l impact validation where applicable. Tool & C ase Study papers are expected to report on the des ign, implementation or use of verification (or rel ated) technology in a practically relevant context (which need not be industrial), and its impact on design processes.
\n