Organised to celebrate the 25th anniversary of the FMICS international conference, the present survey addresses 30 questions on the past, present, and future of formal methods in research, industry, and education. Not less than 130 high-profile experts in formal methods (among whom three Turing award winners and many recipients of other prizes and distinctions) accepted to participate in this survey. We analyse their answers and comments, and present a collection of 111 position statements provided by these experts. The survey is both an exercise in collective thinking and a family picture of key actors in formal methods.
The 2020 Expert Survey on Formal Methods
ter Beek MH;
2020
Abstract
Organised to celebrate the 25th anniversary of the FMICS international conference, the present survey addresses 30 questions on the past, present, and future of formal methods in research, industry, and education. Not less than 130 high-profile experts in formal methods (among whom three Turing award winners and many recipients of other prizes and distinctions) accepted to participate in this survey. We analyse their answers and comments, and present a collection of 111 position statements provided by these experts. The survey is both an exercise in collective thinking and a family picture of key actors in formal methods.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_429026-doc_153136.pdf
non disponibili
Descrizione: The 2020 Expert Survey on Formal Methods
Tipologia:
Versione Editoriale (PDF)
Dimensione
574.82 kB
Formato
Adobe PDF
|
574.82 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_429026-doc_153137.pdf
accesso aperto
Descrizione: The 2020 Expert Survey on Formal Methods
Tipologia:
Versione Editoriale (PDF)
Dimensione
391.36 kB
Formato
Adobe PDF
|
391.36 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
