Electronic Communications of the EASST Volume 35 ( 2010 ) Proceedings of the 10 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2010 ) Verification of Symmetry Detection using PVS