|
| | | |
Confessions of a Formal Methodist
Hinchey, M.G.
The author, a confirmed formal Methodist, while not abandoning his adherence to this 'religion,' concedes that formal methods alone will not save the day, and that a number of other approaches have been, must be, and will continue to be, of relevance in the development of safety-critical systems. These, however, are not incongruous or antithetical to the application of formal methods. |
Cite as: Hinchey, M.G. (2002). Confessions of a Formal Methodist. In Proc. Seventh Australian Workshop on Industrial Experience with Safety Critical Systems and Software (SCS 2002), Adelaide, Australia. CRPIT, 15. Lindsay, P., Ed. ACS. 17-20. |
(from crpit.com)
(local if available)
|
|