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 collection includes papers that appeared in the 36th International Conference on Computer Aided Verification (CAV'24). 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 included them in this collection . The papers in this collection are extensions of the work that was presented in the conference. The collection also includes an invited paper by the recipients of the 2024 CAV award.
Submit your manuscript to this collection through the participating journal.
-
Mirco Giacobbe
University of Birmingham m.giacobbe@bham.ac.uk