|
In computer science, formal methods refers to a variety of scientific and engineering techniques for rigorous reasoning about the correctness of computer programs, chiefly based on the use of mathematical logic.
The role of formal methods in software engineering engenders much controversy.
|
