Skip to main content
Springer Nature Link
Log in
Springer
Formal Methods in System Design

Formal Methods in System Design

An International Journal

Publishing model:
Hybrid
Submit your manuscript
View saved research

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
  • Prof. Nir Piterman PhD
View all editors

Journal metrics

Journal Impact Factor
1.0 (2025)
5-year Journal Impact Factor
1.0 (2025)
Submission to first decision (median)
14 days
Downloads
95.5k (2025)

Calls for papers

Collection

By Invite Only - FASE 2026

This collection includes papers that appeared in the 29th International Conference on Fundamental Approaches to Software Engineering (FASE '26).

Status
Open for submissions
Submission deadline
31 May 2027

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 articles

View all articles
This journal has 98 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. Chinese Academy of Medical Science (CAMS)
  8. DBLP
  9. Dimensions
  10. EBSCO
  11. EI Compendex
  12. Google Scholar
  13. INSPEC
  14. Japanese Science and Technology Agency (JST)
  15. Naver
  16. OCLC WorldCat Discovery Service
  17. Ovid Discovery
  18. Portico
  19. ProQuest
  20. SCImago
  21. SCOPUS
  22. Science Citation Index Expanded (SCIE)
  23. TD Net Discovery Service
  24. WTI AG
  25. Wanfang
  26. eLibrary.ru
  27. zbMATH
© Springer Science+Business Media, LLC, part of Springer Nature

Journal navigation