Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

  • Reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems
  • Publishes high quality, original papers describing all aspects of formal methods
  • Builds an important and highly useful collection of commonly applicable formal methods

Journal information

Editor-in-Chief
  • Daniel Kroening
Publishing model
Hybrid. Open Access options available

Journal metrics

0.673 (2019)
Impact factor
0.720 (2019)
Five year impact factor
100 days
Submission to first decision
385 days
Submission to acceptance
24,238 (2019)
Downloads

Latest articles

This journal has 28 open access articles

Journal updates

  • COVID-19 and impact on peer review

    As a result of the significant disruption that is being caused by the COVID-19 pandemic we are very aware that many researchers will have difficulty in meeting the timelines associated with our peer review process during normal times.  Please do let us know if you need additional time. Our systems will continue to remind you of the original timelines but we intend to be highly flexible at this time.

View all updates

Subscribe

eJournal
$99.00
Note this is only the net price. Taxes will be calculated during checkout.
  • Immediate online access with complete access to all articles
  • Downloadable in PDF format
  • Subscription expires 12/31/2020

About this journal

Electronic ISSN
1572-8102
Print ISSN
0925-9856
Abstracted and indexed in
  1. ACM Digital Library
  2. CNKI
  3. DBLP
  4. Dimensions
  5. EBSCO Applied Science & Technology Source
  6. EBSCO Biomedical Reference Collection
  7. EBSCO Computer Science Index
  8. EBSCO Computers & Applied Sciences Complete
  9. EBSCO Discovery Service
  10. EBSCO Engineering Source
  11. EBSCO STM Source
  12. EI Compendex
  13. Google Scholar
  14. INSPEC
  15. Institute of Scientific and Technical Information of China
  16. Japanese Science and Technology Agency (JST)
  17. Journal Citation Reports/Science Edition
  18. Naver
  19. OCLC WorldCat Discovery Service
  20. ProQuest Advanced Technologies & Aerospace Database
  21. ProQuest Central
  22. ProQuest SciTech Premium Collection
  23. ProQuest Technology Collection
  24. ProQuest-ExLibris Primo
  25. ProQuest-ExLibris Summon
  26. SCImago
  27. SCOPUS
  28. Science Citation Index Expanded (SciSearch)
  29. UGC-CARE List (India)
  30. zbMATH
Copyright information

Rights and permissions

Springer policies

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