Software is a part of most complex systems used for different purposes in today's world. The
reliability of these systems must be verified before putting them to use, because their …