[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Formal Methods in Computer-Aided Design (FMCAD'24)

Participating journal: Formal Methods in System Design
This issue includes papers that appeared in the 24th IEEE Conference on Formal Methods in Computer-Aided Design (FMCAD'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 collected them in this issue. The papers in this special issue are extensions of the work that was presented in the conference.

Participating journal

Submit your manuscript to this collection through the participating journal.

Editors

  • Philipp Ruemmer

    Uppsala University Uppsala, Sweden

  • Nina Narodytska

    VMWare California, USA

Articles