New York. ???Medical instrumentation has critical software that also is written in a haphazard way,??? he says.Software in these kinds of mission- and life-critical systems could learn a thing or two from aerospace and defense technology, such as avionics and military systems in which formal certification is mandatory, and where the use of software verification tools are seeing increasing use not