Resources

Klocwork product documentation is available here.

Article

Article

With new aircraft now being highly software dependent – software verification and integrity is becoming ever more vital. Tim Robinson speaks to one company who are experts in squashing these software bugs in mission-critical code.

TAGS: AVIONICS, DO-178B, EMBEDDED PROGRAMMING, SOFTWARE VERIFICATION, STATIC ANALYSIS