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
  • Nir Piterman
Publishing model
Hybrid (Transformative Journal). Learn about publishing Open Access with us

Journal metrics

0.442 (2020)
Impact factor
0.655 (2020)
Five year impact factor
202 days
Submission to first decision
480 days
Submission to acceptance
28,847 (2020)
Downloads

Latest issue

Volume 57

Issue 2, August 2021

Special Issue on FMCAD 2018

Latest articles

  1. Vacuity in synthesis

    Authors (first, second and last of 4)

    • Roderick Bloem
    • Hana Chockler
    • Ofer Strichman
    • Content type: OriginalPaper
    • Open Access
    • Published: 17 September 2021
This journal has 40 open access articles

About this journal

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

Rights and permissions

Springer policies

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