A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B.

Gnther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck

Browse the full SAFECOMP paper archive.