Instrumentation and Control systems are the nervous system of a nuclear power plant. They monitor all  facets of the plant’s health and help respond with care and adjustments needed, thus ensuring goals of efficient power production and safety. Due to safety significance of I&C, it becomes increasingly important to have a design verification methodology which ensures I&C systems fully functional. The strategy discussed the systemmodeling for design verification using Petri Net, converting it into Markov Chain and solving the linear system mathematically. It also exploits the best attribute of the createdMarkovmodel. The approach has been validated on seven sets of operation profile data of reactor control system of seven Nuclear Power Plants.