widely used as application programs in process industry (eg pharmaceutical plants,
chemical plants and power plants). The CFC programs have to be validated whether they
fulfill the safety requirements that are specified in the control task specifications to verify their
correctness before they are being tested by user in the plant. Nowadays, this verification is
being done manually. This potentially causes errors and it is very time consuming. In this …