ThesaHelp: references pr
Group: program proving
Topic: program proving is infeasible
 
Reference
Parnas, D.L.,
"Mathematical methods: what we need and don't need",
Computer, April 1996, pp. 2829.
Google
Quotations
29 ;;Quote: in formal methods there is an unreasonable focus on proof of correctness; in other areas, engineers use mathematics to derive important properties such as the maximum voltage between two terminals

Related Topics
ThesaHelp: references pr (245 items)
Group: program proving (10 topics, 310 quotes)
Topic: program proving is infeasible (46 items)
