Limits of formal methods
Ralf Kneuper · Formal Aspects of Computing · 1997
Abstract Formal methods can help to increase the correctness and trustworthiness of the software developed. However, they do not solve all the problems of software development. This paper analyses some limitations of formal methods.