SLCP verification - an overview