CONCISE GUIDE TO SOFTWARE VERIFICATION