Tools for Practical Software Verification | lit.salon