找工作

1.執行核電廠定期檢測及測試查核 2.協助辧理部門內部品保作業

這樣的技術比較適合用在確保關鍵系統的品質上（如核電廠的控制程式）。基於抽象解釋的技術則是另一個極端。他是全自動的，但是有著常常誤報程式錯誤的缺點。這大大減低的該類工具的可用性。