Stav dette: Scalable Techniques for Formal Verification