#5, First Floor, 4th Street , Dr. Subbarayan Nagar Kodambakkam, Chennai-600 024 pro@slogix.in

Office Address

  • #5, First Floor, 4th Street Dr. Subbarayan Nagar Kodambakkam, Chennai-600 024 Landmark : Samiyar Madam
  • pro@slogix.in
  • +91- 81240 01111

Social List

Formal Methods in System Design

About:

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

Journal Home:  Journal Homepage
Editor-in-Chief:  Daniel Kroening
scope:

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development.

Print ISSN:

Print ISSN:  0360-0300

Electronic ISSN:   1557-7341

Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2020:  0.673
Subject Area and Category:  Computer Sciences, Mathematics
Publication Frequency:  Bimonthly
H Index:  54
Best Quartile:

Q1:  

Q2:   Hardware and Architecture,Software,Theoretical Computer Science

Q3:  

Q4:  

Journal Home:  Journal Homepage
Cite Score:  4.0
SNIP:  1.6230000000000002
Journal Rank(SJR):  0.334
Publisher & Country:

Publisher:  Springer US

Country:  Netherlands