My employer is trying to find a firm (via tendering) that would be able
to test the operational software we are using for robustness, i.e.,
whether all input is correctly used or diagnosed as faulty, all
algorithms are coded defensively, etc.

The tender called for such a test for all languages in use (Fortran, C,
C++, Java - and a couple of others).

Unfortunately, all offers exclude Fortran ("visible inspection only")
from the test - which makes these offers useless for us, as Fortran is
the bulk of our code ...

Does anyone on this newsgroup knows of a firm that can perform such tests ?

Thanks in advance,