Journal
Formal Methods in System Design
Formal Methods in System Design is a journal dedicated to presenting the latest advancements in formal methods for hardware and software system design.
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 of the program committee chose the papers that they found most interesting and collected them in this issue. The papers in this special issue are extensions of the work that was presented in the conference.
Submissions by Invitation Only
Submit your manuscript to this collection through the participating journal.
-
Kristin Yvonne Rozier
kyrozier@iastate.edu Iowa State University Iowa, USA -
Alexander Nadel
alexander.nadel@intel.com Intel Corporation and Technion Israel