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
- Journal Impact Factor
- 0.7 (2023)
- 5-year Journal Impact Factor
- 0.8 (2023)
- Submission to first decision (median)
- 16 days
- Downloads
- 93,096 (2023)
Latest articles
Journal updates
-
Editor's Choice Papers 2021
Please enjoy free access to these hand-picked articles, courtesy of our Editor-in-Chief.
Journal information
- Electronic ISSN
- 1572-8102
- Print ISSN
- 0925-9856
- Abstracted and indexed in
-
- ACM Digital Library
- BFI List
- Baidu
- CLOCKSS
- CNKI
- CNPIEC
- DBLP
- Dimensions
- EBSCO
- EI Compendex
- Google Scholar
- INSPEC
- Japanese Science and Technology Agency (JST)
- Naver
- OCLC WorldCat Discovery Service
- Portico
- ProQuest
- SCImago
- SCOPUS
- Science Citation Index Expanded (SCIE)
- TD Net Discovery Service
- UGC-CARE List (India)
- WTI AG
- Wanfang
- zbMATH
- Copyright information
-
© Springer Science+Business Media, LLC, part of Springer Nature