This issue includes papers that appeared in the 35th International Conference on Computer Aided Verification (CAV'23). Based on the reviews, presentation, and interaction at the conference, the chairs of the...
This issue includes papers that appeared in the 23rd IEEE Conference on Formal Methods in Computer-Aided Design (FMCAD'23). Based on the reviews, presentation, and interaction at the conference, the chairs o...
This special issue of the Journal on Formal Methods in System Design is dedicated to Prof. Helmut Veith, who unexpectedly passed away in March 2016. Helmut Veith was a brilliant researcher, inspiring collabo...
This special issue is dedicated to the memory of the former Editor in Chief Prof. Edmund M. Clarke. He was a University Professor Emeritus at Carnegie Mellon University and co-recipient of the 2007 Turing Aw...
The journal of Formal Methods in System Design is now accepting submissions to a new thematic issue, entitled "Synthesis Progress" To contribute to this special issue, select "SI: Synthesis Progress" while s...