The FMCAD 2017 graduate student forum

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa

Tutkijat

  • Keijo Heljanko

Organisaatiot

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoProceedings of the 2017 Formal Methods in Computer Aided Design, FMCAD 2017
ToimittajatDaryl Stewart, Georg Weissenbacher
TilaJulkaistu - 2 lokakuuta 2017
OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa
TapahtumaINTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN - TU Wien, Vienna, Itävalta
Kesto: 2 lokakuuta 20176 lokakuuta 2017
Konferenssinumero: 17

Conference

ConferenceINTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN
LyhennettäFMCAD
MaaItävalta
KaupunkiVienna
Ajanjakso02/10/201706/10/2017

ID: 16846748