Concise Guide to Software Verification