Description
The FMCAD Student Forum provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback.In 2016, the event took place in Mountain View, California, as integral part of the FMCAD conference. Ten students were invited to give a short talk and present a poster illustrating their work. The presentations covered a broad range of topics in the field of verification and synthesis, including automated reasoning, model checking of hardware, software, as well as hybrid systems, verification and synthesis of networks, and application of artificial intelligence techniques to circuit design.
Date of creation, presentation, or exhibit
10-2016
Document Type
Conference Paper
Department, Program, or Center
Computer Science (GCCIS)
Recommended Citation
Hojjat, Hossein, "The FMCAD 2016 Graduate Student Forum" (2016). Accessed from
https://repository.rit.edu/other/867
Campus
RIT – Main Campus
Comments
Conference proceedings from the Formal Methods in Computer-Aided Design conference, 3-6 October, 2016, Mountain View, CA, USA