SCIESCOPUS
FORMAL METHODS IN SYSTEM DESIGN
Springer Nature, Netherlands
FORMAL METHODS IN SYSTEM DESIGN is an academic journal published by Springer Nature (Netherlands). Identifiers: ISSN 0925-9856, eISSN 1572-8102. Indexed in SCIE, SCOPUS. Metrics: CiteScore 2.3, SJR 0.345, SNIP 1.03. Subject areas: COMPUTER SCIENCE, THEORY & METHODS. tlooto lists 840 papers from this journal.
CiteScore
2.30
Scopus citation metric
SJR
0.345
SCImago rank
SNIP
1.03
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0925-9856
- eISSN
- 1572-8102
- Abbreviation
- -
- Publisher
- Springer Nature
- Country
- Netherlands
Web of Science categories
SCIECOMPUTER SCIENCE, THEORY & METHODS
Scopus ASJC categories
170817122614 Theoretical Computer Science
Keywords
Computer Science, Theory & Methods
Papers in this journal
Recent papers
- Formal methods for mobile ad hoc networks: a survey
2026
- A scalable anytime algorithm for learning fragments of linear temporal logic
2026
- Symbolic computer algebra for multipliers revisited - demonstrating the significance of order and phase optimization
2026
- Formally verified roundoff error bounds on LogSumExp-based computations
2026
- Linear temporal constraints for sketch-based synthesizers
2026
Most cited papers
- LSCs: Breathing Life into Message Sequence Charts
1999 · 989 citations
- Bounded Model Checking Using Satisfiability Solving
2001 · 862 citations
- Model Checking of Safety Properties
1999 · 754 citations
- A stubborn attack on state explosion
1990 · 745 citations
- Reactive Modules
1996 · 738 citations