Comment Formal Methods (Score 1) 562
I thought if there was any risk of human injury, the expense of applying Formal Methods was justified.
Formal Methods is the application of Mathematical Proofs to software.
FM can actually eliminate all Functional risk,
which still leaves Integration risk (interfaces with outside systems), and Environmental risk (e.g. differences between development and production).
I wonder if these companies used FM, and to what degree. The cost of FM is horrendously expensive, so I could see them skimping where they thought they could get away with it.
I also thought FM was government mandated for Military & Health systems.
Formal Methods is the application of Mathematical Proofs to software.
FM can actually eliminate all Functional risk,
which still leaves Integration risk (interfaces with outside systems), and Environmental risk (e.g. differences between development and production).
I wonder if these companies used FM, and to what degree. The cost of FM is horrendously expensive, so I could see them skimping where they thought they could get away with it.
I also thought FM was government mandated for Military & Health systems.
