AN ARTIFICIAL IMMUNE SYSTEM APPROACH
TO AUTOMATED PROGRAM VERIFICATION:
TOWARDS A THEORY OF UNDECIDABILITY
IN BIOLOGICAL COMPUTING
|INDECS 19(4), 493-501, 2021
Full text available in pdf and xml formats.
Received: 4th April 2020.
We propose an immune system inspired Artificial Immune System algorithm for the purposes of automated program verification. It is proposed to use this Artificial Immune System algorithm for a specific automated program verification task: that of predicting shape of program invariants. It is shown that the algorithm correctly predicts program invariant shape for a variety of benchmarked programs. Program invariants encapsulate the computability of a particular program, e.g. whether it performs a particular function correctly and whether it terminates or not. This work also lays the foundation for applying concepts of theoretical incomputability and undecidability to biological systems like the immune system that perform robust computation to eliminate pathogens
artificial immune system, program invariant, undecidability, incomputability, biological computing, immuno-computing, fundamental limits on biological computing
JEL: I10, O30