The FMCAD 2017 graduate student forum

Keijo Heljanko

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientific

5 Citations (Scopus)


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 2017, the event took place in Vienna, Austria, as integral part of the FMCAD conference. Thirteen 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, such as automated reasoning, model checking of hardware, software, as well as parameterized systems, verification of concurrent programs, and checking of floating point properties.
Original languageEnglish
Title of host publicationProceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017
EditorsDaryl Stewart, Georg Weissenbacher
Number of pages1
ISBN (Print)978-0-9835678-7-5
Publication statusPublished - 2 Oct 2017
MoE publication typeB3 Non-refereed article in conference proceedings
EventInternational Conference on Formal Methods in Computer-Aided Design - TU Wien, Vienna, Austria
Duration: 2 Oct 20176 Oct 2017
Conference number: 17


ConferenceInternational Conference on Formal Methods in Computer-Aided Design
Abbreviated titleFMCAD


  • Software
  • Design Automation
  • Model Checking
  • Engineering profession
  • Hardware
  • Concurrent computing


Dive into the research topics of 'The FMCAD 2017 graduate student forum'. Together they form a unique fingerprint.

Cite this