Verification in Thanisandra