Abstract: Computer program implemented method for automated verification of sequencing logic of opening of blowdown valves (BDVs) is aided by purpose-developed software components allowing much larger number of test cases (or scenarios) compared to the prior approach. The method is based on a scenario-guided prioritization study, wherein, given a set of scenarios to be tested, decay curves of the blowdown valves, and prioritization rules, the computer program implemented method is used in a chained manner, which comprises the main steps of: standardization of scenario definition; calculation of sequencing of blowdown valves that respects the capacity limit of safety equipment (Flare) and prioritization rules for each scenario; generation of configuration files for r the sequencing tests and the possibility of visualization allowing analysis by a specialist; automated testing of each scenario; and generation of a report with the tests result, indicating whether or not the implemented logic met the expected sequencing.