Scalable Techniques for Formal Verification | lit.salon