Verifying SWPs on the Accurail Mobile App