Applied Formal Verification | lit.salon