An Immune System Inspired Approach to Automated Program Verification
SteamAdm
An immune system inspired Artificial Immune System (AIS) algorithm is presented, and is used for the purposes of automated program verification. Relevant immunological concepts are