Skip to main content
Springer Nature Link
Log in
Springer

Formal Methods in System Design

An International Journal

Publishing model:
Hybrid
Submit your manuscript

Overview

Formal Methods in System Design is a journal dedicated to presenting the latest advancements in formal methods for hardware and software system design.

  • Reports on formal methods for designing, implementing, and validating hardware and software systems.
  • Publishes high quality, original papers spanning all aspects of formal methods.
  • Aims to build a valuable collection of widely applicable formal methods.
  • Serves as an international platform for the dissemination of research related to the application and development of formal methods.
  • Invites papers describing original work in all aspects of formal methods as they relate to system design.

Editor-in-Chief
  • Nir Piterman
View all editors

Journal metrics

Journal Impact Factor
0.8 (2024)
5-year Journal Impact Factor
1.2 (2024)
Submission to first decision (median)
25 days
Downloads
66.3k (2024)

Calls for papers

Collection

By Invite Only - FMCAD 2025

This collection includes papers that appeared in the 25th International Conference on Formal Methods in Computer-Aided Design (FMCAD'25).

Status
Open for submissions
Submission deadline
31 December 2026

Collection

By Invite Only - CAV 2025

This collection includes papers that appeared in the 37th International Conference on Computer Aided Verification (CAV'25).

Status
Open for submissions
Submission deadline
31 December 2026
View all calls for papers

Latest issue

Volume 67, Issue 3
View all volumes and issues

Latest articles

View all articles
This journal has 93 open access articles

Journal updates

View all updates

Journal information

Electronic ISSN
1572-8102
Print ISSN
0925-9856
Abstracted and indexed in
  1. ACM Digital Library
  2. BFI List
  3. Baidu
  4. CLOCKSS
  5. CNKI
  6. CNPIEC
  7. DBLP
  8. Dimensions
  9. EBSCO
  10. EI Compendex
  11. Google Scholar
  12. INSPEC
  13. Japanese Science and Technology Agency (JST)
  14. Naver
  15. OCLC WorldCat Discovery Service
  16. Portico
  17. ProQuest
  18. SCImago
  19. SCOPUS
  20. Science Citation Index Expanded (SCIE)
  21. TD Net Discovery Service
  22. WTI AG
  23. Wanfang
  24. eLibrary.ru
  25. zbMATH
© Springer Science+Business Media, LLC, part of Springer Nature

Journal navigation