SLCP Verification - an overview