CEZ Temelin

CEZ Temelin - Advantage was responsible for the formal safety verification of 100,000 lines of Primary Protection System code for the nuclear reactor situated at Temelin in the Czech Republic.