FMSD Special Issue in Memoriam Helmut Veith

Thursday, Nov 16, 2017

In memory of Helmut Veith, the founder of the FORSYTE research group, the current issue of the Journal on Formal Methods in System Design is a Special Issue in Memoriam Helmut Veith. Helmut unexpectedly passed away in March 2016; he was a brilliant researcher, inspiring collaborator, passionate mentor, generous friend, and valued member of the formal methods community. Helmut was not only known for his numerous and influential contributions in the field of automated verification (most prominently his work on Counterexample-Guided Abstraction Refinement), but also for his untiring and passionate efforts for the logic community. He is sorely missed.

Link to the Special Issue (Volume 51, Issue 2, November 2017).