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:  0360-0300
Electronic ISSN:   1557-7341
Abstracting and Indexing:  Science Citation Index Expanded. Scopus.
Imapct Factor 2021:  1.100
Subject Area and Category:  Computer Sciences, Mathematics
Publication Frequency:  Bimonthly
H Index:  54
Q1:  
Q2:  
Q3:  Theoretical Computer Science
Q4:  
Cite Score:  2.8
SNIP:  1.274
Journal Rank(SJR):  0.502
Latest Articles:   Latest Articles in Formal Methods in System Design
Guidelines for Authors: Formal Methods in System Design Author Guidelines
Paper Submissions: Paper Submissions in Formal Methods in System Design
Publisher:  Springer US
Country:  Netherlands