Formal Methods in System Design

  • 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.

+ 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.

  • Daniel Kroening

+ Editor-in-Chief
  • Daniel Kroening

  • Print ISSN: 0360-0300

    Electronic ISSN: 1557-7341

+ ISSN
  • Print ISSN: 0360-0300

    Electronic ISSN: 1557-7341

  • Science Citation Index Expanded.

  • Scopus.

+ Abstracting and Indexing
  • Science Citation Index Expanded.

  • Scopus.

  • Impact Factor 2015: 1.132

+ Impact Factor
  • Impact Factor 2015: 1.132


  • Computer Sciences, Mathematics

+ Subject Area and Category
  • Computer Sciences, Mathematics

  • Publisher: Springer US

    Country: Netherlands

+ Publisher & Country
  • Publisher: Springer US

    Country: Netherlands