Skip to main content
Log in

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
Impact factor
0.8 (2022)
5 year impact factor
1.2 (2022)
Submission to first decision (median)
61 days
Downloads
93,096 (2023)

Latest issue

December 2022 |

Volume 61, Issue 2-3

Special issue on 'Synthesis Progress'

Latest articles

Journal 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. UGC-CARE List (India)
  23. WTI AG
  24. Wanfang
  25. zbMATH
Copyright information

Rights and permissions

Springer policies

© Springer Science+Business Media, LLC, part of Springer Nature

Navigation