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.
⚡ Speed vs Prestige
How does this journal balance review speed with impact level?
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Articles published
Times cited
2019
2020
2021
2022
2023
2024
2025
2026
Source: OpenAlex · Note: citations accumulate over time so older years appear higher
SJR Quartile by Discipline
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Hardware and ArchitectureQ3
SoftwareQ3
Theoretical Computer ScienceQ4
Subject Classification
Web of Science Categories
Computer Science, Theory & Methods
Scopus Categories
Hardware and ArchitectureSoftwareTheoretical Computer Science
Research Topics (OpenAlex)
Formal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging TechniquesEmbedded Systems Design TechniquesSoftware Reliability and Analysis ResearchPetri Nets in System ModelingModel-Driven Software Engineering TechniquesDistributed systems and fault toleranceParallel Computing and Optimization TechniquesSecurity and Verification in Computing