Springer Verification: Theory and Practice