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 35th International Conference on Computer Aided Verification (CAV'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.
Submit your manuscript to this collection through the participating journal.
-
Akash Lal
Lead Guest Editor Microsoft Research Bengaluru, India akashl@microsoft.com -
Constantin Enea
Guest editor: Ecole Polytechnique LIX, Paris, France cenea@lix.polytechnique.fr
