Concise Guide to Software Verification | lit.salon