Coverity(英语:Coverity) LDRA(英语:Liverpool Data Research Associates) Parasoft(英语:Parasoft) PC-Lint(英语:PC-Lint) QA-C(英语:QA-C) Understand (軟體)(英语:Understand
執行時間驗證(英语:Runtime verification) Runtime Error Detection (页面存档备份,存于互联网档案馆) by Parasoft MUST: A Scalable Approach to Runtime Error Detection in MPI Programs (页面存档备份,存于互联网档案馆)