Explore All Access
Check if your research matches the topics covered in Formal Methods in System Design?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Formal Methods in System Design : Impact Factor & More
eISSN: 1572-8102pISSN: 0925-9856
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Formal Methods in System Design Key Metrics
CiteScore 
2.8
Impact Factor
< 5
SJR
Q2Software
SNIP
1.27
Time to Publish
View Chart Mo
Time to Publish
Sign up now and unlock a detailed chart of Time to publish for this journal
% of papers by time taken from submission to publication
0 to 3 months0%
4 to 6 months6%
7 to 9 months13%
Above 9 months81%
Did you find this useful?
Topics Covered on Formal Methods in System Design
Static analysis
Satisfiability modulo theories
Runtime verification
Formal methods
Formal Methods in System Design Journal Specifications
| Overview | |
| Publisher | SPRINGER |
| Language | English |
| Frequency | Bi-monthly |
| General Details | |
| Language | English |
| Frequency | Bi-monthly |
| Publication Start Year | 1992 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Formal Methods in System Design ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Formal Methods in System Design
SAT solving for variants of first-order subsumption
- 11 Nov 2024
- Formal Methods in System Design
Abstraction Modulo Stability
- 12 Sep 2024
- Formal Methods in System Design
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
- 17 Aug 2024
- Formal Methods in System Design
A verified durable transactional mutex lock for persistent x86-TSO
- 31 Jul 2024
- Formal Methods in System Design
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
- 25 Jul 2024
- Formal Methods in System Design
Formally understanding Rust’s ownership and borrowing system at the memory level
- 9 Jul 2024
- Formal Methods in System Design
SAT solving for variants of first-order subsumption
- 11 Nov 2024
- Formal Methods in System Design
Abstraction Modulo Stability
- 12 Sep 2024
- Formal Methods in System Design
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
- 17 Aug 2024
- Formal Methods in System Design
A verified durable transactional mutex lock for persistent x86-TSO
- 31 Jul 2024
- Formal Methods in System Design
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
- 25 Jul 2024
- Formal Methods in System Design
Formally understanding Rust’s ownership and borrowing system at the memory level
- 9 Jul 2024
- Formal Methods in System Design
Compare Similar Journals with Formal Methods in System Design
Select Journals to Compare with Formal Methods in System Design
Total journals - 10
You can select up to 3 Journals at a time
Lecture Notes in Computer Science
Publisher: Springer Nature
Science of Computer Programming
Publisher: ELSEVIER
Journal of Computer Languages
Publisher: Elsevier
International Journal on Software Tools for Technology Transfer
Publisher: SPRINGER HEIDELBERG
Software Quality Journal
Publisher: SPRINGER
Production and Operations Management
Publisher: WILEY
Software - Practice and Experience
Publisher: WILEY
Big Data
Publisher: MARY ANN LIEBERT, INC
International Transactions in Operational Research
Publisher: WILEY
History of Science
Publisher: SAGE PUBLICATIONS LTD
0 Journals Selected to compare with
Formal Methods in System Design
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Formal Methods in System Design
How long has Formal Methods in System Design been actively publishing? 
Formal Methods in System Design has been in operation since 1992 till date.
What is the publishing frequency of Formal Methods in System Design?
Formal Methods in System Design published with a Bi-monthly frequency.
How many articles did Formal Methods in System Design publish last year?
In 2023, Formal Methods in System Design publsihed 13 articles.
What is the eISSN & pISSN for Formal Methods in System Design?
For Formal Methods in System Design, eISSN is 1572-8102 and pISSN is 0925-9856.
What is Citescore for Formal Methods in System Design?
Citescore for Formal Methods in System Design is 2.8.
What is SNIP score for Formal Methods in System Design?
SNIP score for Formal Methods in System Design is 1.27.
What is the SJR for Formal Methods in System Design?
SJR for Formal Methods in System Design is Q2.
Who is the publisher of Formal Methods in System Design?
SPRINGER is the publisher of Formal Methods in System Design.
