Formal methods in system design
Published by Springer
Kingdom of the Netherlands · Formal Methods in Verification
Journal at a glance
- ISSN
- 0925-9856, 1572-8102 (electronic)
- Publisher
- Springer
- Country
- Kingdom of the Netherlands
- Language
- en
Also known as: Form Methods Syst Des (Abbreviation)
Metrics
| Metric | Value | Year | Source |
|---|
| DOIs registered (Crossref) | 816 | 2026 | Crossref |
| DOIs, current year (Crossref) | 56 | 2026 | Crossref |
| Works (OpenAlex) | 832 | 2026 | OpenAlex |
| Citations (OpenAlex) | 25503 | 2026 | OpenAlex |
| h-index (OpenAlex) | 76 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 408 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 1.115 | 2026 | OpenAlex |
Subjects
- Formal Methods in Verification
- Logic, programming, and type systems
- Software Testing and Debugging Techniques
- Embedded Systems Design Techniques
- Petri Nets in System Modeling
- Software Reliability and Analysis Research
- Model-Driven Software Engineering Techniques
Similar journals
- International journal on software tools for technology transfer : STTT — Germany · — · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 5 shared subjects in total
- Electronic notes in theoretical computer science — Kingdom of the Netherlands · Open access · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total, Same country
- Science of computer programming — Kingdom of the Netherlands · — · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total, Same country
- Electronic proceedings in theoretical computer science — Australia · Open access · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 4 shared subjects in total
- Innovations in systems and software engineering — United Kingdom · — · Same subject: Formal Methods in Verification, Same subject: Model-Driven Software Engineering Techniques, 4 shared subjects in total
- Computer languages, systems & structures — Kingdom of the Netherlands · — · Same subject: Formal Methods in Verification, Same subject: Logic, programming, and type systems, 3 shared subjects in total, Same country
Sources: OpenAlex, NLM Catalog, Crossref · Last verified 2026-09-07
Journal homepage