Topics of interest include (but are not limited to): A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD).įMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer- aided design. At least one of the authors is required to register for the conference and present the accepted paper.
In addition, published articles are made available freely on the conference page the authors retain the copyright. Accepted papers are distributed through both ACM and IEEE digital libraries.
FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.įMCAD employs a rigorous peer-review process.
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 2018 is the eighteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification.
0 kommentar(er)
