program proving is infeasible
"Mathematical methods: what we need and don't need",
Computer, April 1996, pp. 28-29.
|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
ThesaHelp: references p-r (245 items)
Group: program proving (10 topics, 310 quotes)
Topic: program proving is infeasible (46 items)