added ABYSS-P to software verification