Verification of a safety-related I&C system for nuclear power plant by model checking, test case generation and automatic testing.

Toms Ausberger, Karel Kubcek, Pavla Medvecov, Jindrich Wolf

Browse the full ETFA paper archive.