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.
- 45 Volumes
- 125 Issues
- 543 Articles
- 2 Open Access
- 1992 - 2014 Available between
- Journal Title
- Formal Methods in System Design
- Volume 1 / 1992 - Volume 45 / 2014
- Print ISSN
- Online ISSN
- Springer US
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.