Loading Icon

Formal methods

In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically rigorous techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

Metrics Summary

Total Publications
Lifetime
12,361
Prior Five Years
2,455
Total Citations
Lifetime
134,604
Prior Five Years
8,930
Total Scholars
Lifetime
11,808
Prior Five Years
8,470

Institutional Rankings

Global (Worldwide)
Show More
National Institutional Rankings

Publications and Citation History

Publications based on Disciplines

Scholars based on Disciplines

Publications based on Fields

Scholars based on Fields

Highly Ranked Scholars™

Lifetime
Prior Five Years

Highly Cited Publications

Lifetime