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
Editor-in-chief
  • Daniel Kroening
Speed
Submission to first decision: 83 days
Acceptance to publication: 18 days
Usage
Downloads: 21,422 (2018)
Impact
Impact factor: 0.787 (2018)
Five year impact factor: 0.748 (2018)
Publishing model
Hybrid. Open Choice – What is this?

Articles

Subscribe

Subscription
$99.00
Note this is only the net price. Taxes will be calculated during checkout.
  • Immediate online access
  • Full Journal access includes all articles
  • Downloadable in PDF
  • Subscription expires 12/31/2019

Advertisement

About this journal

Electronic ISSN
1572-8102
Print ISSN
0925-9856
Abstracted and indexed in
  1. ACM Digital Library
  2. DBLP
  3. EBSCO Discovery Service
  4. EI Compendex
  5. Gale
  6. Gale Academic OneFile
  7. Gale InfoTrac
  8. Google Scholar
  9. INSPEC
  10. Institute of Scientific and Technical Information of China
  11. Japanese Science and Technology Agency (JST)
  12. Journal Citation Reports/Science Edition
  13. Naver
  14. OCLC WorldCat Discovery Service
  15. ProQuest Advanced Technologies & Aerospace Database
  16. ProQuest Central
  17. ProQuest SciTech Premium Collection
  18. ProQuest Technology Collection
  19. ProQuest-ExLibris Primo
  20. ProQuest-ExLibris Summon
  21. SCImago
  22. SCOPUS
  23. Science Citation Index Expanded (SciSearch)
  24. zbMATH
Copyright information

Rights and permissions

Springer Nature policies

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