Formal Methods in System Design

in Journal   Posted on November 4, 2020 

Journal Ranking & Metrics

Impact Score : 3.3
G2R H-Index : 10
JCR Impact Factor : 0.673
Scopus Citescore : 4
SCIMAGO H-index : 50
Guide2Research Overall Ranking : 697

Journal Information

ISSN : 0925-9856
Publisher :
Periodicity : Bimonthly
Editors-in-Chief : Daniel Kroening
Journal & Submission Website :

Top Scientists who published in this Journal

Number of top scientists* : 25
Documents published by top scientists* : 24
* Based on data published during the last three years.

Aims & Scope of the Journal

Formal Methods in System Design publishes academic documents exploring novel crucial contributions in the fields of General Computer Science and Software Engineering & Programming. Formal Methods in System Design provides high-quality, original papers where all submitted articles are peer reviewed to assure top quality. The journal welcomes submissions from the research community where emphasis will be placed on the novelty and the practical significance of the published findings.

Formal Methods in System Design is listed in a wide range of abstracting and indexing databases like Scopus, Web of Science and Guide2Research. A significant number of leading scientists have published their research contributions at this Journal for instance Helmut Veith, Sanjit A. Seshia, Thomas Henzinger and Thomas Reps.

For more details on the rules and submission provisions for authors, you are advised to consult the official website for the journal for Formal Methods in System Design at .