Databasen som samlades användes för att verifiera ett datorprogram för projektledning inom kärnkraftrivning :