Investigating the Influence of Formal Methods
Investigating the Influence of Formal Methods
Formal methods promise much, but can they deliver? In this project, results are inconclusive, but careful data gathering and analysis helped establish influences on product quality.